Jeffrey Paul bc3736a5a4 try to correct di-dist arg		2020-02-16 08:11:34 -08:00
..
Makefile	fixed bugs	2016-04-08 23:08:04 +02:00
syncubuntu.sh	try to correct di-dist arg	2020-02-16 08:11:34 -08:00