diff options
| author | Julian Andres Klode <jak@debian.org> | 2018-05-16 11:46:23 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2018-05-16 11:46:23 +0000 |
| commit | 622439b7bd2390f709b43701f4b55a172a434b43 (patch) | |
| tree | 4511447c0348a0f3d219c562c2e89dabb61cb403 /doc/sources.list.5.xml | |
| parent | b0283a5aeee428c9f2567b81ae78c9da68f6f4af (diff) | |
| parent | 8cc38267809a15ec9819bce721e52fcd90a523b9 (diff) | |
Merge branch 'pu/gitlab-ci' into 'master'
Pu/gitlab ci
See merge request apt-team/apt!17
Diffstat (limited to 'doc/sources.list.5.xml')
0 files changed, 0 insertions, 0 deletions