Filename Modification time Size clean.sh 2019-01-10 04:01 CET 702 B prereq.sh 2019-01-09 17:48 CET 556 B setup.sh 2019-01-10 04:01 CET 746 B tests.sh 2019-02-25 04:01 CET 62 KiB