diff --git a/DOCS/documentation.html b/DOCS/documentation.html index 959918e092..f60eeabeaa 100644 --- a/DOCS/documentation.html +++ b/DOCS/documentation.html @@ -132,21 +132,7 @@