diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-11-15 07:12:51 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-11-26 17:20:58 +0000 |
| commit | 8bafe9611774afe2d8e638627ca507c1040eead8 (patch) | |
| tree | 945b1893bc7059615b00be5b50c79171da48bedb /ivi | |
| parent | 4c3498ea247a16f9934dbb25202d00fbd3f17454 (diff) | |
| download | definitions-8bafe9611774afe2d8e638627ca507c1040eead8.tar.gz | |
.gitlab-ci.yml: Remove build-3 stage to save time
Diffstat (limited to 'ivi')
0 files changed, 0 insertions, 0 deletions