src/ui/circletool.ui

changeset 331
638a7458ef5e
parent 232
8efa3a33172e
equal deleted inserted replaced
330:edb6c09cdd3c 331:638a7458ef5e

mercurial