res/xml/preferences.xml
changeset 918 80d2be82fa84
parent 886 5d3163053c42