comparison: src/settingseditor/settingseditor.ui
src/settingseditor/settingseditor.ui
- changeset 342
- 9fd7dcab6d76
- parent 341
- 71c8cea3c205
- child 344
- a24da8de2a3b
equal
deleted
inserted
replaced
| 341:71c8cea3c205 | 342:9fd7dcab6d76 |
|---|
