src/ui/circletooloptionswidget.h

changeset 343
4a82990affd5
parent 264
76a025db4948
child 379
8d88adffb779
equal deleted inserted replaced
342:9fd7dcab6d76 343:4a82990affd5

mercurial