diff options
| author | Ralph Giles <giles@mozilla.com> | 2016-02-09 09:49:16 -0800 |
|---|---|---|
| committer | Ralph Giles <giles@mozilla.com> | 2016-02-09 09:49:48 -0800 |
| commit | 5d09366104fd5e12c91d66a1e4f56372687beab3 (patch) | |
| tree | e0b61d9f53a647d35879e36d3ed6ccd89218f7ab /doc | |
| parent | c4c897ea48a39eaedc693225f852facded45d181 (diff) | |
| download | opus-5d09366104fd5e12c91d66a1e4f56372687beab3.tar.gz | |
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.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/header.html.patch | 28 |
1 files changed, 0 insertions, 28 deletions
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 @@ - <div id="titlearea"> - <table cellspacing="0" cellpadding="0"> - <tbody> -- <tr style="height: 56px;"> -+ <tr style="height: 64px;"> - <!--BEGIN PROJECT_LOGO--> - <td id="projectlogo"><img alt="Logo" src="$relpath$$projectlogo"/></td> - <!--END PROJECT_LOGO--> - <!--BEGIN PROJECT_NAME--> - <td style="padding-left: 0.5em;"> -- <div id="projectname">$projectname -- <!--BEGIN PROJECT_NUMBER--> <span id="projectnumber">$projectnumber</span><!--END PROJECT_NUMBER--> -- </div> -+ <div id="projectname"><img src="opus_logo.svg" width=112 height=64 alt="Opus"/><!--$projectname--></div> -+ </td> -+ <td><table style="padding-left: 0.5em;" cellspacing="0" cellpadding="0"><tbody> -+ <tr><td> - <!--BEGIN PROJECT_BRIEF--><div id="projectbrief">$projectbrief</div><!--END PROJECT_BRIEF--> -+ </td></tr> -+ <td><!--BEGIN PROJECT_NUMBER--><span id="projectnumber">$projectnumber</span><!--END PROJECT_NUMBER--> -+ </td></tr> -+ </table> - </td> - <!--END PROJECT_NAME--> - <!--BEGIN !PROJECT_NAME--> |