diff --git a/docs/page.xsl b/docs/page.xsl index c1804eab34..4698e2789e 100644 --- a/docs/page.xsl +++ b/docs/page.xsl @@ -175,7 +175,6 @@