From 5b7eafd0f00a16d78f99a27f5c7d5a0de77dc7e6 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Wed, 21 Jul 2010 09:46:51 +0200 Subject: Imported Upstream snapshot 8.3~beta0+13298 --- doc/common/styles/html/simple/footer.html | 2 -- doc/common/styles/html/simple/header.html | 13 ------------- 2 files changed, 15 deletions(-) delete mode 100644 doc/common/styles/html/simple/footer.html delete mode 100644 doc/common/styles/html/simple/header.html (limited to 'doc/common/styles/html') diff --git a/doc/common/styles/html/simple/footer.html b/doc/common/styles/html/simple/footer.html deleted file mode 100644 index 308b1d01..00000000 --- a/doc/common/styles/html/simple/footer.html +++ /dev/null @@ -1,2 +0,0 @@ - - diff --git a/doc/common/styles/html/simple/header.html b/doc/common/styles/html/simple/header.html deleted file mode 100644 index 14d2f988..00000000 --- a/doc/common/styles/html/simple/header.html +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - -The Coq Standard Library - - - - -- cgit v1.2.3