mkRedundantOption: use four spaces to indent admonition, as per the docs

This commit is contained in:
greyweather committed 2026-09-01 22:28:09 +01:00
1 parent fd300f979e
commit 124314796a

Diff Content Not Available