Rename preferences.xml to ‘defaults’

Browse source

This will hopefully make it clearer from now on what this file
actually does, and that it’s not supposed to be normally modified.

Requires a corresponding FG change of course,

...

This commit is contained in:

James Turner 2017-01-12 09:43:41 +00:00

parent e68c33e4f0

commit 0565eaab10

1 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

0

preferences.xml → defaults.xml

Unescape Escape View file