diff --git a/doc/documentation.html b/doc/documentation.html index 25e4af9..26c37f3 100644 --- a/doc/documentation.html +++ b/doc/documentation.html @@ -757,22 +757,11 @@