diff options
author | Javier Jardón <jjardon@gnome.org> | 2017-12-12 18:39:56 +0000 |
---|---|---|
committer | Pedro Alvarez Piedehierro <palvarez89@gmail.com> | 2018-10-03 16:53:37 +0000 |
commit | 4c5a592a1bdba076e73cdb930934e59b1e87c4d7 (patch) | |
tree | 235c8b06d034c8db4c0c1f0b3c3e99850b47528c /elements/genivi/genivi-demo-platform-libs | |
parent | 3cd0d7f558aef15ee49063f1a6d75fa34e305495 (diff) | |
download | definitions-4c5a592a1bdba076e73cdb930934e59b1e87c4d7.tar.gz |
elements/core: Add ninja
Diffstat (limited to 'elements/genivi/genivi-demo-platform-libs')
0 files changed, 0 insertions, 0 deletions