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-28 22:04:45 -07:00
2015-07-21 11:47:14 -07:00
2015-07-28 21:39:33 -07:00