Tom Willemse b8dc0c68b7 Add documentation for the push command		2014-03-04 21:41:30 +01:00
..
.gitignore	Add user manual	2013-05-27 22:30:00 +02:00
fdl.texi	Add user manual	2013-05-27 22:30:00 +02:00
gitto.texi	Add documentation for the push command	2014-03-04 21:41:30 +01:00
Makefile	Add clean make target	2013-05-27 22:40:37 +02:00