diff options
| author | jvoisin | 2019-01-02 18:08:09 +0100 |
|---|---|---|
| committer | jvoisin | 2019-01-03 01:25:47 +0100 |
| commit | df84a0fc60eb7d937b27a4ac540cb637a55972bf (patch) | |
| tree | 1b2805346dacf45480654419fb4e2b6ede9a9109 /debian/docs | |
| parent | fc742d62f31637f9698cbd46f5ed1aea1847db6d (diff) | |
Add a gitlab-ci file, and a fix test on Fedora
Diffstat (limited to 'debian/docs')
0 files changed, 0 insertions, 0 deletions