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-13 20:32:46 +0100 |
| commit | 8cba2a6395afbc4d87f6848eff0424fda29fa1f6 (patch) | |
| tree | 24de05e7e8e5342ccb291f21259f5a5797c1d9a0 /DEFAULTS | |
| parent | 1aa5a55a5fcc1caa6c222aeddb07ff0d3e16c184 (diff) | |
| download | definitions-8cba2a6395afbc4d87f6848eff0424fda29fa1f6.tar.gz | |
Build converted GNOME system
Diffstat (limited to 'DEFAULTS')
0 files changed, 0 insertions, 0 deletions