Use 0.25p iinstead of default when describing pen thickness#4006
Merged
PaulWessel merged 1 commit intomasterfrom Aug 21, 2020
Merged
Use 0.25p iinstead of default when describing pen thickness#4006PaulWessel merged 1 commit intomasterfrom
PaulWessel merged 1 commit intomasterfrom
