src/ui/circletool.ui

changeset 320
af6633412a6c
parent 232
8efa3a33172e
equal deleted inserted replaced
319:9727e545b0bc 320:af6633412a6c

mercurial