diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-10-28 15:12:35 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-11-08 19:17:34 +0000 |
| commit | a62b5a5d045ccf210bbcb14eb19bb4e991506975 (patch) | |
| tree | 6458fcce2809954c557be40fb97b217abc974f80 /scripts | |
| parent | 9bd7498ec587668d9a2e0e72e5dd5380710d28d6 (diff) | |
| download | definitions-a62b5a5d045ccf210bbcb14eb19bb4e991506975.tar.gz | |
.gitlab-ci.yml: Build the GNOME system
Change-Id: I305c3eef685fa7c2f951f416d40109e93d81cd8f
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions