diff --git a/docs/manual.html b/docs/manual.html index 515c074c2..694fbcc96 100644 --- a/docs/manual.html +++ b/docs/manual.html @@ -110,150 +110,152 @@