diff options
| author | Javier Jardón <jjardon@gnome.org> | 2016-08-21 20:34:50 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2016-12-09 16:16:43 +0000 |
| commit | a0a1439ee5f22383a479f9739891de9b0afca75f (patch) | |
| tree | e0b4443344739eccc60609b70bdb8e3b5b3ef563 /systems/devel-system-x86_32-generic.morph | |
| parent | 86d13b03056b99ec9b773507e35f4e9e1e8bf404 (diff) | |
| download | definitions-a0a1439ee5f22383a479f9739891de9b0afca75f.tar.gz | |
Remove some hacks not needed anymore after the /usr merge
Diffstat (limited to 'systems/devel-system-x86_32-generic.morph')
0 files changed, 0 insertions, 0 deletions