diff --git a/docs/manual/glossary.html.en b/docs/manual/glossary.html.en index 6ce5bf6eb7..c1e9d8ee2b 100644 --- a/docs/manual/glossary.html.en +++ b/docs/manual/glossary.html.en @@ -478,4 +478,4 @@