diff options
Diffstat (limited to 'Tools')
| -rw-r--r-- | Tools/idle/config.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Tools/idle/config.txt b/Tools/idle/config.txt index c1d96c1..6f98a3e 100644 --- a/Tools/idle/config.txt +++ b/Tools/idle/config.txt @@ -14,8 +14,8 @@ # IDLE extensions can be enabled and disabled by adding them to one of # the config files. To enable an extension, create a section with the # same name as the extension, e.g. the [ParenMatch] section below. To -# disable an extension, either remove the section or add the the -# enable option with the value 0. +# disable an extension, either remove the section or add the 'enable' +# option with the value 0. [EditorWindow] width= 80 |