ankidroid/Anki-Android — pull request #367 by agrueneberg (2014-05-18 01:07:26+00:00)
Title: Remove default.properties

`default.properties` was renamed to `project.properties` in ADT 14. This should be obsolete.