From 6876b7d98ea03b704fff55db1b5bf11a18250129 Mon Sep 17 00:00:00 2001 From: abrahamsonn Date: Tue, 11 Sep 2018 13:35:49 -0600 Subject: [PATCH] Removed comment from HTML header --- doc/formats/html/header.html | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/formats/html/header.html b/doc/formats/html/header.html index ce59bb90c..e6bba6932 100644 --- a/doc/formats/html/header.html +++ b/doc/formats/html/header.html @@ -16,7 +16,6 @@ $search $mathjax $extrastylesheet -