comparison: src/ui/config.ui
src/ui/config.ui
- changeset 421
- 7d26db0be944
- parent 417
- 14bfeed046f3
- child 430
- 8458cf2719d1
equal
deleted
inserted
replaced
| 420:8d6af951b611 | 421:7d26db0be944 |
|---|
| 420:8d6af951b611 | 421:7d26db0be944 |
|---|