From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 7 Sep 2020 16:44:21 +0000 (+0100)
Subject: Remove the redundant file headers.
X-Git-Url: https://git.distorted.org.uk/~mdw/mdwfonts/commitdiff_plain/eff24b4f0c49055d611e23993f7abcbf62f39756

Remove the redundant file headers.

Everything is duplicated in the GPL header anyway, and I can't get rid
of that.
---

diff --git a/mdwfonts.dtx b/mdwfonts.dtx
index 777e219..92cd030 100644
--- a/mdwfonts.dtx
+++ b/mdwfonts.dtx
@@ -1,13 +1,3 @@
-% \begin{meta-comment}
-%
-% mdwfonts.dtx
-%
-% PostScript fonts for more excitement
-%
-% (c) 1996 Mark Wooding
-%
-% \end{meta-comment}
-%
 % \begin{meta-comment} <general public licence>
 %<*sty|mttpcr|fontinst>
 %%