diff --git a/doc/head.html b/doc/head.html index cbc467f..e72d61c 100644 --- a/doc/head.html +++ b/doc/head.html @@ -49,7 +49,6 @@