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-07-04 21:29:16 +03:00
2015-07-04 21:29:16 +03:00
2015-07-04 21:29:16 +03:00
2015-07-04 21:29:16 +03:00
2015-03-11 23:35:03 +01:00