History | View | Annotate | Download (95 Bytes)
check.log
check.time
*.out.bad
*.notrun
# ignore everything in the scratch directory
scratch/