diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-11-01 15:31:22 +0000 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-11-01 15:33:58 +0000 |
| commit | 94793ac100ce79e3c490304bdb7ab82ebe99298b (patch) | |
| tree | 98a4894644117ba0798e647785c150b0e045af2d /extensions | |
| parent | a08bfb84a6b27d827ef3a78432bc0c91697b23a7 (diff) | |
| download | definitions-94793ac100ce79e3c490304bdb7ab82ebe99298b.tar.gz | |
.gitlab-ci.yml: GENIVI systems are inside the genivi folder now
Change-Id: I95008108fd9e8aa6c9d3157fc748e6edc00c3802
Diffstat (limited to 'extensions')
0 files changed, 0 insertions, 0 deletions