comparison: src/ui/edger2.ui
src/ui/edger2.ui
- changeset 340
- 3a25593e180b
- parent 301
- ef51681bb978
- child 343
- 75487752f3e6
equal
deleted
inserted
replaced
| 339:89e7c2d0a020 | 340:3a25593e180b |
|---|
| 339:89e7c2d0a020 | 340:3a25593e180b |
|---|