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 /dselect | |
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 'dselect')
0 files changed, 0 insertions, 0 deletions