comparison: Preferences/ConfigurationPages/EditorCalltipsPage.ui
Preferences/ConfigurationPages/EditorCalltipsPage.ui
- changeset 3670
- f0cb7579c0b4
- parent 2262
- 2371836c3c45
- child 4153
- 95b18307079f
- child 4203
- d18603cecdaa
equal
deleted
inserted
replaced