diff options
| author | jvoisin | 2021-01-02 17:03:45 +0100 |
|---|---|---|
| committer | jvoisin | 2021-01-02 17:03:45 +0100 |
| commit | ebd47e73a4973f3f4838299495b5ce3199d11305 (patch) | |
| tree | 584373900a6134a2befd01f93a0547479abed980 /doc/source | |
| parent | 0245273cb946b341fc0d62cd27817e72d654a6bc (diff) | |
Remove the travis-ci badge
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions