diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-07-16 22:41:42 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-07-16 22:42:38 +0100 |
| commit | 35ad64c91822958aed2f2e170e14fd3d6e446ca3 (patch) | |
| tree | 8b97fcb28cf5f33bc4da6bd5ef5fdb445fccf7d6 /ivi | |
| parent | 94039f2e0e9b04f10f0431f0524f31b06d03e595 (diff) | |
| download | definitions-35ad64c91822958aed2f2e170e14fd3d6e446ca3.tar.gz | |
ONly build gnome
Diffstat (limited to 'ivi')
0 files changed, 0 insertions, 0 deletions