diff --git a/doc/html/index.html b/doc/html/index.html index 3f508ce5..4727c14e 100644 --- a/doc/html/index.html +++ b/doc/html/index.html @@ -29,10 +29,6 @@ img { border: 0; }