Jeffrey Paul aff10ee134 updated gpghome key location		2016-04-08 23:24:53 +02:00
..
Makefile	fixed bugs	2016-04-08 23:08:04 +02:00
syncubuntu.sh	updated gpghome key location	2016-04-08 23:24:53 +02:00