Remove unused patch file.
authorRalph Giles <giles@mozilla.com>
Tue, 9 Feb 2016 17:49:16 +0000 (09:49 -0800)
committerRalph Giles <giles@mozilla.com>
Tue, 9 Feb 2016 17:49:48 +0000 (09:49 -0800)
commit5d09366104fd5e12c91d66a1e4f56372687beab3
treee0b61d9f53a647d35879e36d3ed6ccd89218f7ab
parentc4c897ea48a39eaedc693225f852facded45d181
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 [deleted file]