Daniel Martí 5b688d3c23 Rename Preferences to Settings ...

For consistency with Android and other apps.

Closes #464.

2015-10-19 09:48:05 +02:00

..

strings.xml

Rename Preferences to Settings

2015-10-19 09:48:05 +02:00