From f8cb1942284979bc7c325f2137fad1293380d855 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 13 Jan 2012 17:21:21 +0000
Subject: Port to trunk the old commit r14895 of v8.4 (styles for the stdlib
documentation)
This commit r14895 comes apparently itself from commit r12010 in branch v8.2
---
doc/common/styles/html/simple/header.html | 13 +++++++++++++
1 file changed, 13 insertions(+)
create mode 100644 doc/common/styles/html/simple/header.html
(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
new file mode 100644
index 0000000000..14d2f98888
--- /dev/null
+++ b/doc/common/styles/html/simple/header.html
@@ -0,0 +1,13 @@
+
+
+
+
+
+
+The Coq Standard Library
+
+
+
+
--
cgit v1.2.3