4 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
Giacomo Tesio	0874dc3613	initial commit	2015-12-22 10:10:07 +00:00