diff --git a/doc/header.html.in b/doc/header.html.in index 96985a21..f85d5713 100644 --- a/doc/header.html.in +++ b/doc/header.html.in @@ -4,7 +4,6 @@