src/ui/circletooloptionswidget.h

changeset 370
b2f9ded235a6
parent 264
76a025db4948
child 379
8d88adffb779
equal deleted inserted replaced
369:57de8fab2237 370:b2f9ded235a6

mercurial