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