diff options
author | Javier Jardón <jjardon@gnome.org> | 2016-08-21 20:34:50 +0100 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2016-11-08 19:17:34 +0000 |
commit | 47b76c5bd2bd7bba497ab36942eaa0c96efba6d0 (patch) | |
tree | 0dbb0e12798db1ed1042ba560751f7b5dd9c099a /partitioning | |
parent | 3badff6789e8aedd1b1298ef5065af744bf6a676 (diff) | |
download | definitions-47b76c5bd2bd7bba497ab36942eaa0c96efba6d0.tar.gz |
Remove some hacks not needed anymore after the /usr merge
Change-Id: I459cb33978e644aa1ac2b3e71cb79ae67894c3e5
Diffstat (limited to 'partitioning')
0 files changed, 0 insertions, 0 deletions