Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/EditorPropertiesPage.py
Preferences/ConfigurationPages/EditorPropertiesPage.py
- changeset 5919
- d0de2b378b24
- parent 5436
- af16135f6172
- child 6048
- 82ad8ec9548c
equal
deleted
inserted
replaced
| 5918:d89cd224dd1b | 5919:d0de2b378b24 |
|---|
