diff --git a/doc/en/documentation.html b/doc/en/documentation.html index 9d66abf2..3f502751 100644 --- a/doc/en/documentation.html +++ b/doc/en/documentation.html @@ -22,16 +22,7 @@ window.onload = function() {