Use "0.25p" instead of "default" for default of pen width in supplements#7217

PaulWessel merged 6 commits intoGenericMappingTools:masterGenericMappingTools/gmt:masterfrom

yvonnefroehlich:improve-default-pen-suppyvonnefroehlich/gmt:improve-default-pen-suppCopy head branch name to clipboard