From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 25 Jan 2015 14:42:51 +0100 Subject: Imported Upstream version 8.5~beta1+dfsg --- doc/common/styles/html/simple/header.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/common/styles/html/simple') diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html index 14d2f988..c350a8b9 100644 --- a/doc/common/styles/html/simple/header.html +++ b/doc/common/styles/html/simple/header.html @@ -1,11 +1,11 @@ - - - + + The Coq Standard Library -- cgit v1.2.3