diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-10-27 11:11:45 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-10-27 11:23:59 +0100 |
commit | 2198aef721c607bba47e4f3784b5aec7987ca5b1 (patch) | |
tree | 33ea075c637e0f871f9d6879dcec195973e10a8f /extensions | |
parent | db52fbcdc562532573c8b6960119fe6525ad905c (diff) | |
download | definitions-2198aef721c607bba47e4f3784b5aec7987ca5b1.tar.gz |
.gitlab-ci.yml: Add a armv7l job to build the build-systemjjardon/ci-arm
Change-Id: Ice1d5513a44667ec314ed0fcb7a583b4bbfdfd98
Diffstat (limited to 'extensions')
0 files changed, 0 insertions, 0 deletions