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