src/ui/circletooloptionswidget.h

changeset 240
414d392b9ae6
parent 233
5509bec02c81
child 264
76a025db4948
equal deleted inserted replaced
239:74ce5ac84f25 240:414d392b9ae6

mercurial