diff: eric6/Documentation/Source/eric6.Preferences.ConfigurationPages.EditorGeneralPage.html
eric6/Documentation/Source/eric6.Preferences.ConfigurationPages.EditorGeneralPage.html
- changeset 7763
- 32d9af1cea79
- parent 7278
- 1820a0344b62
- child 7989
- a21d673a8f99