Christopher Eby a60d6ec330 Change "Preferences" to "Settings" ...

Settings seems to be the more common term in Android apps.

2011-09-21 16:23:57 -05:00

..

arrays.xml

Add random option

2011-09-19 22:12:54 -05:00

strings.xml

Change "Preferences" to "Settings"

2011-09-21 16:23:57 -05:00

theme.xml

Switch to MIT license

2011-08-19 01:28:15 -05:00