Filename Modification time Size clean.sh 2014-02-28 18:40 CET 932 B prereq.sh 2014-12-10 03:25 CET 871 B setup.sh 2014-12-10 03:25 CET 908 B tests.sh 2017-06-24 05:26 CEST 1439 B