6bf19c94a0
36bd422812 ^
08156b4c34 ^
d1c295f572 ^
1
2
3
4 5
6
7 8 9
check.log check.time* common.env *.out.bad *.notrun socket_scm_helper # ignore everything in the scratch directory scratch/