diff options
author | Javier Jardón <jjardon@gnome.org> | 2017-11-26 17:23:07 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2017-11-26 17:38:36 +0000 |
commit | 601b834b8c131f9ab03497658844307f8fd2eca3 (patch) | |
tree | 23a8b1f5c74c02db14aefbce4ff3d23a2cae7850 /extensions/sshkeys.configure | |
parent | f28f8f5edb28225861100dbd6fcbc4fe27e0bb8c (diff) | |
download | definitions-601b834b8c131f9ab03497658844307f8fd2eca3.tar.gz |
.gitlab-ci.yml: Remove -devel systems from the ci
They are not really used/maintained
Diffstat (limited to 'extensions/sshkeys.configure')
0 files changed, 0 insertions, 0 deletions