diff --git a/doc/html/index.html b/doc/html/index.html index d4f5b44..10850e1 100644 --- a/doc/html/index.html +++ b/doc/html/index.html @@ -3,7 +3,7 @@
@@ -1144,7 +1144,7 @@ up towards 1440 and 1722, you get very funny figures.