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