diff: Documentation/Source/eric5.Preferences.ConfigurationPages.EditorPropertiesPage.html
Documentation/Source/eric5.Preferences.ConfigurationPages.EditorPropertiesPage.html
- branch
- 5_0_x
- changeset 820
- 3336024d064a
- parent 58
- 37f0444c3479
- child 409
- 0ea528e80202