1.1 --- a/docs/wiki/Preferences Tue Jan 31 15:59:06 2017 +0100
1.2 +++ b/docs/wiki/Preferences Tue Jan 31 16:06:40 2017 +0100
1.3 @@ -1,7 +1,7 @@
1.4 = Preferences =
1.5
1.6 The correspondence between user preferences (stored in user preference
1.7 -directories) and the default settings (stored in `config.py`) is described
1.8 +directories) and the default settings (stored in `config.txt`) is described
1.9 below.
1.10
1.11 || '''Preference''' || '''Default Setting''' ||
1.12 @@ -18,7 +18,7 @@
1.13 || `participating` || `PARTICIPATING_DEFAULT` ||
1.14
1.15 See the [[../Configuration|configuration guide]] for more information about
1.16 -the `config.py` file.
1.17 +the `config.txt` file.
1.18
1.19 {{{#!wiki tip
1.20 === Text Encoding ===