From 97fefe1fcca363a1317e066e7f4b99b9c1e9987b Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Thu, 12 Jan 2012 16:02:20 +0100 Subject: Imported Upstream version 8.4~beta --- doc/common/styles/html/coqremote/header.html | 49 ---------------------------- 1 file changed, 49 deletions(-) delete mode 100644 doc/common/styles/html/coqremote/header.html (limited to 'doc/common/styles/html/coqremote/header.html') diff --git a/doc/common/styles/html/coqremote/header.html b/doc/common/styles/html/coqremote/header.html deleted file mode 100644 index 025e1d3a..00000000 --- a/doc/common/styles/html/coqremote/header.html +++ /dev/null @@ -1,49 +0,0 @@ - - - - - -Standard Library | The Coq Proof Assistant - - - - - - - - - - - - - - - -
- - - - -
- -- cgit v1.2.3