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