This repository has been archived by the owner on Apr 6, 2023. It is now read-only.
docs: remove duplicate entry for default
option
#4519
Merged
default
option
#4519