| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2019-01-08 | Remove all copyright license headers | Philipp Hansch | -11/+0 |
| 2018-10-06 | Add license header to other files | Manish Goregaokar | -0/+12 |
| 2018-05-16 | Add exec bit, add set -ex to ci test files | Philipp Hansch | -2/+1 |
| 2018-04-11 | Add set -x for debugging | Philipp Hansch | -0/+1 |
| 2018-04-11 | Debug deployment script issues | Philipp Hansch | -3/+3 |
| 2017-08-03 | Generate version index for docs domain index | Pascal Hertleif | -0/+13 |
| 2016-08-17 | Fix Travis not pushing gh-pages for tags | mcarton | -2/+5 |
| 2016-07-19 | Revert "Maybe fix `deploy.sh`" | mcarton | -2/+1 |
| 2016-07-19 | Add encryption label to deploy.sh | mcarton | -0/+1 |
| 2016-07-19 | Fix deploy.sh III | mcarton | -3/+3 |
| 2016-07-19 | Fix deploy.sh II | mcarton | -10/+10 |
| 2016-07-19 | Maybe fix `deploy.sh` | mcarton | -1/+2 |
| 2016-07-19 | Fix deploy.sh and python2 usage | mcarton | -1/+1 |
| 2016-07-19 | Setup automatic push of gh-pages | mcarton | -0/+66 |
