fix `dotty.tools.dotc.config.Properties` scaladoc#21691

hamzaremmal merged 1 commit intomainscala/scala3:mainfrom

compiler-Properties-scaladocscala/scala3:compiler-Properties-scaladocCopy head branch name to clipboard