res/xml/preferences.xml
changeset 935 5801f1f5f0bd
parent 886 5d3163053c42