Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | don't hard-code the path to the python interpreter | Ralf Jung | 2015-06-18 | 1 | -1/+1 |
* | githook: slightly more robust against weird input | Ralf Jung | 2015-06-08 | 1 | -1/+4 |
* | avoid needless format string position identifiers | Ralf Jung | 2015-03-06 | 1 | -2/+2 |
* | add license headers and COPYING | Ralf Jung | 2015-02-22 | 1 | -1/+1 |
* | redesign to use force pushes only if necessary, to avoid race conditions, and... | Ralf Jung | 2015-02-22 | 1 | -0/+51 |