Daniel Martí 5b688d3c23 Rename Preferences to Settings
For consistency with Android and other apps.

Closes #464.
2015-10-19 09:48:05 +02:00
..
2015-10-06 09:03:11 +02:00
2015-10-06 09:03:11 +02:00
2015-10-05 22:38:57 +02:00
2015-06-15 21:19:14 +02:00
2015-10-19 09:48:05 +02:00
2015-10-19 07:56:41 +03:00