diff --git a/docs/manual.html b/docs/manual.html index f070d98d..19184b40 100644 --- a/docs/manual.html +++ b/docs/manual.html @@ -2845,4 +2845,4 @@