comparison: src/ui/config.ui
src/ui/config.ui
- changeset 403
- 43c1f5b17bfd
- parent 395
- 5210bcb1d7e0
- child 417
- 14bfeed046f3
equal
deleted
inserted
replaced
| 402:ec95fc95e5f3 | 403:43c1f5b17bfd |
|---|
| 402:ec95fc95e5f3 | 403:43c1f5b17bfd |
|---|