src/ui/circletool.ui

changeset 342
9fd7dcab6d76
parent 232
8efa3a33172e
equal deleted inserted replaced
341:71c8cea3c205 342:9fd7dcab6d76

mercurial