Ralf Jung
|
1a85298cc0
|
slightly more informative error messages
|
2016-02-07 21:10:27 +01:00 |
|
Ralf Jung
|
f605d636c5
|
don't hard-code the path to the python interpreter
|
2015-06-18 13:12:01 +02:00 |
|
Ralf Jung
|
b00245b2f0
|
githook: slightly more robust against weird input
|
2015-06-08 21:52:44 +02:00 |
|
Ralf Jung
|
9e8ef5ff99
|
avoid needless format string position identifiers
|
2015-03-06 13:20:13 +01:00 |
|
Ralf Jung
|
b13f671882
|
add license headers and COPYING
|
2015-02-22 20:01:07 +01:00 |
|
Ralf Jung
|
503462ba44
|
redesign to use force pushes only if necessary, to avoid race conditions, and to add email reports
|
2015-02-22 19:52:18 +01:00 |
|