blob: 62b4002995dcd299ccc3113dfc38bad44434d0d5 [file] [log] [blame]
check.log
check.time
*.out.bad
*.notrun
# ignore everything in the scratch directory
scratch/