diff options
| author | Thibaut Girka <thib@sitedethib.com> | 2018-09-03 14:34:39 +0200 |
|---|---|---|
| committer | ThibG <thib@sitedethib.com> | 2018-09-03 17:41:28 +0200 |
| commit | a8de13c03156ed7e074f795b959435ab5b4fce0f (patch) | |
| tree | 02d3c624e812df7c6785a707690635a6981e60df /.gitignore | |
| parent | 174548f3bd0f1d42a28a5c501aad7116f18eaddb (diff) | |
Fix CI badge, as we have switched from Travis to CircleCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions