comparison: src/settingseditor/settingseditor.ui
src/settingseditor/settingseditor.ui
- changeset 345
- 81cd5dee6d77
- parent 344
- a24da8de2a3b
- child 347
- 5c655cc006de
equal
deleted
inserted
replaced
| 344:a24da8de2a3b | 345:81cd5dee6d77 |
|---|
