From eff24b4f0c49055d611e23993f7abcbf62f39756 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Mon, 7 Sep 2020 17:44:21 +0100 Subject: [PATCH] Remove the redundant file headers. Everything is duplicated in the GPL header anyway, and I can't get rid of that. --- mdwfonts.dtx | 10 ---------- 1 file changed, 10 deletions(-) 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} %<*sty|mttpcr|fontinst> %% -- 2.11.0