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
100644 → 0
Please register or sign in to comment
It looks like this was included accidentally. Thanks to mark4o for pointing out I'd missed this in the previous removal.