3 Commits

Author	SHA1	Message	Date
Christian Grothoff	2310a3f474	fixing -h and -v command line tool options	2015-04-13 13:49:42 +02:00
Christian Grothoff	44b894ebe1	more rename-fest work	2015-03-28 12:29:35 +01:00
Christian Grothoff	c626ccac51	second round of renamefest	2015-03-28 11:06:00 +01:00