mkRedundantOption: test if this changes anything

This commit is contained in:
greyweather committed 2026-09-01 23:54:36 +01:00
1 parent daa7052958
commit 943e0f682c
1 file changed
+6 -6
+6 -6
View File
@@ -59,14 +59,14 @@
${attrs.description}
<div class=admonition-warning>
<p class=admonition-title>
\<div class=admonition-warning>
\<p class=admonition-title>
Redundant
</p>
<p>
\</p>
\<p>
${mkRedundantOptionDescription name value}
</p>
</div>
\</p>
\</div>
'';
};
};