comparison: src/ui/config.ui
src/ui/config.ui
- changeset 443
- a70dd25dd4bb
- parent 431
- ec1e2059319b
- child 450
- 0bfe9a050083
equal
deleted
inserted
replaced
| 442:4852e815df29 | 443:a70dd25dd4bb |
|---|
| 442:4852e815df29 | 443:a70dd25dd4bb |
|---|