diff --git a/docs/manual.html b/docs/manual.html index bd85b330f..012209b20 100644 --- a/docs/manual.html +++ b/docs/manual.html @@ -2,25 +2,23 @@