src/ui/circletooloptionswidget.h

changeset 326
65dbfcb859a7
parent 264
76a025db4948
child 379
8d88adffb779
equal deleted inserted replaced
325:64ddcd77639f 326:65dbfcb859a7

mercurial