Filename Modification time Size clean.sh 2014-02-28 18:40 CET 1385 B prereq.sh 2014-12-10 03:25 CET 856 B setup.sh 2014-12-10 03:25 CET 934 B tests.sh 2017-06-24 05:26 CEST 2324 B