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