diff options
| author | Javier Jardón <jjardon@gnome.org> | 2017-04-10 12:51:02 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2017-07-14 11:15:31 +0100 |
| commit | 15c82c8605d6b39763d87e35c601f427eae21bcd (patch) | |
| tree | 7133d0519ab17b1b2def1cdd8c3c4c66b3e42a1e /unmaintained | |
| parent | 3e905e0269d39cb0f30aff421a44ec90a80ed091 (diff) | |
| download | definitions-15c82c8605d6b39763d87e35c601f427eae21bcd.tar.gz | |
Build converted GNOME system
Diffstat (limited to 'unmaintained')
0 files changed, 0 insertions, 0 deletions