Andreas Lauser b0165c18e5 remove source files from the attic ... the historic log files are retained, for the source files use `git log`.		2017-11-17 13:46:50 +01:00
..
periodic_testresults.txt	Move old files into the attic	2013-08-10 20:33:22 +02:00
solver_tests.txt	Move old files into the attic	2013-08-10 20:33:22 +02:00
testresults.txt	Add recent results to the good old testcase log.	2014-08-22 22:23:20 +02:00