2009-06-22 18:29:05 +02:00
|
|
|
check.log
|
|
|
|
check.time
|
2015-02-27 16:21:21 +01:00
|
|
|
common.env
|
2009-06-22 18:29:05 +02:00
|
|
|
*.out.bad
|
|
|
|
*.notrun
|
2013-09-22 14:49:19 +02:00
|
|
|
socket_scm_helper
|
2009-06-22 18:29:05 +02:00
|
|
|
|
|
|
|
# ignore everything in the scratch directory
|
|
|
|
scratch/
|