ankidroid/Anki-Android — pull request #235 by agrueneberg (2014-03-27 14:32:58+00:00)
Title: Replace mark with star icons

See previous PR #204.