Filename Modification time Size clean.sh 2017-06-21 05:08 CEST 1554 B dig1.good 2016-10-15 05:15 CEST 7801 B dig2.good 2016-10-15 05:15 CEST 7803 B knowngood.mapped 2016-10-14 14:01 CEST 784 B prereq.sh 2014-12-22 04:28 CET 1186 B setup.sh 2017-06-21 05:08 CEST 1472 B tests.sh 2017-06-21 05:08 CEST 11 KiB
