Merge pull request #3 from damien-list/master
[git-mirror.git] /
2016-02-07 Ralf Jungslightly more informative error messages
2015-06-18 Ralf Jungdon't hard-code the path to the python interpreter
2015-06-08 Ralf Junggithook: slightly more robust against weird input
2015-03-06 Ralf Jungavoid needless format string position identifiers
2015-02-22 Ralf Jungadd license headers and COPYING
2015-02-22 Ralf Jungredesign to use force pushes only if necessary, to...