src/ui/circletool.ui

changeset 381
80bea7a6e84f
parent 232
8efa3a33172e
equal deleted inserted replaced
380:16f6717a218b 381:80bea7a6e84f

mercurial