5 commits

Author	SHA1	Message	Date
Ralf Jung	60877f94f2	fix catching exceptions	2016-02-07 21:12:23 +01:00
Ralf Jung	eacb728f37	clarify help text	2015-07-19 10:43:48 +02:00
Ralf Jung	06afbc5d93	fix a format string	2015-07-19 10:40:52 +02:00
Ralf Jung	eea79d998e	fix some bugs	2015-06-08 20:23:10 +02:00
Ralf Jung	6290489e9a	add a script to setup github repositories appropriately	2015-06-08 20:13:27 +02:00