res/xml/preferences.xml
changeset 937 e0e5ea20e1c5
parent 886 5d3163053c42