comparison: src/settingseditor/settingseditor.ui
src/settingseditor/settingseditor.ui
- changeset 239
- 74ce5ac84f25
- parent 237
- 10a6298f636f
- child 282
- f2dc3bbecbfa
equal
deleted
inserted
replaced
| 238:b8ad4c12d937 | 239:74ce5ac84f25 |
|---|
