From 6f47b089934c10c38a5dfb126b5ae62ec9c305a0 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Fri, 5 Dec 2014 10:07:02 +0100
Subject: doc/stdlib: fix the html charset in header.html and co
---
doc/common/styles/html/simple/header.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'doc/common/styles/html/simple/header.html')
diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html
index 14d2f98888..ca54353806 100644
--- a/doc/common/styles/html/simple/header.html
+++ b/doc/common/styles/html/simple/header.html
@@ -1,10 +1,10 @@
-
-
+
The Coq Standard Library
--
cgit v1.2.3