Commit Graph

3 Commits

Author SHA1 Message Date
Giacomo Tesio ded9ac9fb9 various fixes 2017-01-20 01:54:11 +01:00
Giacomo Tesio 7d54956ba2 make runDisk.sh and runOver9P.sh uniform 2017-01-19 23:36:01 +01:00
Giacomo Tesio 1ba806ca1b new development tools 2016-11-25 13:41:57 +00:00