diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-08-17 13:11:40 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-08-17 13:12:23 +0200 |
| commit | 733035bdb75523131d66e81050d2c5f6a0a8d590 (patch) | |
| tree | 66a1005bf9c84cf11ccb2e8e07da580a29a56f41 /.github | |
| parent | e753eaeb343c0e52bbe2e7c43b16c6a2e6bc3b61 (diff) | |
| parent | eb0c52ec1d3ffd4e2d78b2044c1c3d62de7711d3 (diff) | |
Merge #8504: test: Remove java comparison tool
eb0c52e travis: Remove hostname hack (Wladimir J. van der Laan)
3c5251d test: Remove java comparison tool (Wladimir J. van der Laan)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions