From 5d09366104fd5e12c91d66a1e4f56372687beab3 Mon Sep 17 00:00:00 2001 From: Ralph Giles Date: Tue, 9 Feb 2016 09:49:16 -0800 Subject: Remove unused patch file. It looks like this was included accidentally. Thanks to mark4o for pointing out I'd missed this in the previous removal. --- doc/header.html.patch | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100644 doc/header.html.patch (limited to 'doc') diff --git a/doc/header.html.patch b/doc/header.html.patch deleted file mode 100644 index 4cd76cf8..00000000 --- a/doc/header.html.patch +++ /dev/null @@ -1,28 +0,0 @@ ---- header.orig.html 2012-06-11 00:32:03.320461381 -0400 -+++ header.html 2012-06-11 01:08:42.943446484 -0400 -@@ -18,16 +18,21 @@ -
- - -- -+ - - - - - -+ - - -- cgit v1.2.1
--
$projectname --  $projectnumber --
-+
Opus
-+
-+ -+ -+
-
$projectbrief
-+
$projectnumber -+
-