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-23 09:47:27 +03:00
2015-07-23 09:47:27 +03:00
2015-06-10 15:48:11 +02:00
2015-06-14 14:57:15 +02:00
2015-07-23 09:47:27 +03:00
2015-04-01 15:26:10 +11:00