Daniel Martí 083ceca893 Remove unused resources
These went unnoticed because apparently lint.xml was omitting all unused
resources, not just default_repo.xml.
2015-07-28 22:04:45 -07:00
..
2015-06-15 21:19:14 +02:00
2015-07-04 21:32:38 +03:00
2015-06-15 21:19:14 +02:00
2015-06-15 21:19:14 +02:00
2015-07-28 22:04:45 -07:00
2015-07-23 09:46:33 +03:00