diff options
| author | jvoisin | 2020-02-08 17:22:40 +0000 |
|---|---|---|
| committer | GitHub | 2020-02-08 17:22:40 +0000 |
| commit | c00804e79af0dbb861605aa2e0bf76ac4a7504db (patch) | |
| tree | b063e91fd8ef2ef239473258bb8093629eb37338 /utils | |
| parent | fe00ad8cfc133ea8725f4672b080ccdb1db388f7 (diff) | |
Change the path of the travis-ci badge
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions