diff options
| author | jvoisin | 2023-09-18 17:01:53 +0200 |
|---|---|---|
| committer | jvoisin | 2023-09-18 17:01:53 +0200 |
| commit | f4d0edc33d998c7c567df082876b8f0debf24609 (patch) | |
| tree | 2cd85b6a2fa9779a3c3e720be8901493270d78de /doc | |
| parent | a155f85f969ff7aa92822aa3a6963499554318a9 (diff) | |
Get rid of some travis-ci leftovers
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions