~mdw
/
strayman
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
40e73a5
)
Remove the redundant file headers.
author
Mark Wooding
<mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:44:34 +0000
(17:44 +0100)
committer
Mark Wooding
<mdw@distorted.org.uk>
Mon, 7 Sep 2020 16:47:27 +0000
(17:47 +0100)
Everything is duplicated in the GPL header anyway, and I can't get rid
of that.
strayman.dtx
patch
|
blob
|
blame
|
history
diff --git
a/strayman.dtx
b/strayman.dtx
index
f99c0be
..
bc7a7c5
100644
(file)
--- 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