diff --git a/ext/settings.html b/ext/settings.html index e16e296a44..435a2276bb 100644 --- a/ext/settings.html +++ b/ext/settings.html @@ -3228,15 +3228,15 @@
{glossary}
{glossary-first}
{glossary-brief}
{glossary-first-brief}
{glossary-no-dictionary}
{glossary-first-no-dictionary}