diff --git a/doc/HELP.html b/doc/HELP.html index e8accba5e8..c70154ca7e 100644 --- a/doc/HELP.html +++ b/doc/HELP.html @@ -3,7 +3,6 @@