diff: eric6/Documentation/Source/eric6.Preferences.ConfigurationPages.EditorGeneralPage.html
eric6/Documentation/Source/eric6.Preferences.ConfigurationPages.EditorGeneralPage.html
- changeset 7502
- 426f64d419f0
- parent 7278
- 1820a0344b62
- child 7989
- a21d673a8f99