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