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