diff --git a/MANUAL.html b/MANUAL.html index 5a1bde26c..65a06a1a2 100644 --- a/MANUAL.html +++ b/MANUAL.html @@ -5,7 +5,6 @@ -