2015-07-19 | Ralf Jung | clarify help text | blob | commitdiff | raw |
2015-07-19 | Ralf Jung | fix a format string | blob | commitdiff | raw | diff to current |
2015-06-08 | Ralf Jung | fix some bugs | blob | commitdiff | raw | diff to current |
2015-06-08 | Ralf Jung | add a script to setup github repositories appropriately | blob | commitdiff | raw | diff to current |