Filename Modification time Size clean.sh 2017-06-24 05:26 CEST 1554 B dig1.good 2016-05-26 17:45 CEST 7801 B dig2.good 2016-05-26 17:45 CEST 7803 B knowngood.mapped 2016-05-26 17:45 CEST 784 B prereq.sh 2014-12-10 03:25 CET 1186 B setup.sh 2017-06-24 05:26 CEST 1472 B tests.sh 2017-06-24 05:26 CEST 11 KiB
