1computer1 82eff621bf Avoid filename conflicts and cleanup files after		2019-05-14 20:21:34 -04:00
..
Dockerfile	Use faster building and smaller GHC	2019-03-15 23:01:22 -04:00
run.sh	Avoid filename conflicts and cleanup files after	2019-05-14 20:21:34 -04:00