From 1057d36de257c3d58e274e1c357912e09c3b32a9 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 7 Sep 2020 17:44:34 +0100
Subject: [PATCH] Remove the redundant file headers.

Everything is duplicated in the GPL header anyway, and I can't get rid
of that.
---
 strayman.dtx | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/strayman.dtx b/strayman.dtx
index f99c0be..bc7a7c5 100644
--- a/strayman.dtx
+++ b/strayman.dtx
@@ -1,13 +1,3 @@
-% \begin{meta-comment}
-%
-% $Id: strayman.dtx,v 1.4 2003/11/07 11:32:53 mdw Exp $
-%
-% Document class for Straylight manuals
-%
-% (c) 1996 Straylight
-%
-% \end{meta-comment}
-%
 % \begin{meta-comment} <general public licence>
 %%
 %% strayman -- a LaTeX document class for Straylight manuals
-- 
2.11.0