diff options
| author | Hubert Chathi <hubert@uhoreg.ca> | 2018-10-12 19:19:19 -0400 |
|---|---|---|
| committer | Hubert Chathi <hubert@uhoreg.ca> | 2018-10-12 19:19:19 -0400 |
| commit | 6c2f136bc997c33979979dc24d310b27a76082d1 (patch) | |
| tree | 0cea5fe4b347e6ec814d3ee629f89db57dd5b83e /jenkins.sh | |
| parent | 718763f8fc8c0650fd880b32fe9bbf931d7e2183 (diff) | |
remove code coverage and TravisCI badges
since they're not for the right repository any more
Diffstat (limited to 'jenkins.sh')
0 files changed, 0 insertions, 0 deletions