Tom Willemse 3c831f9381 Allow a name to be used to remove a repository ... Allow users to specify a name instead of a path to remove a repository from the repository list. Paths may also still be used.		2014-03-04 00:06:51 +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	Allow a name to be used to remove a repository	2014-03-04 00:06:51 +01:00
Makefile	Add clean make target	2013-05-27 22:40:37 +02:00