diff: Documentation/Source/eric5.Preferences.ConfigurationPages.EditorHighlightersPage.html
Documentation/Source/eric5.Preferences.ConfigurationPages.EditorHighlightersPage.html
- changeset 564
- b3d966393ba9
- parent 440
- 69ace3e2dcf6
- child 1228
- 7afaf2fca55b
- child 1278
- fb0460fd00b9