~mdw
/
mdwfonts
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
infra: Expunge revision history clutter.
[mdwfonts]
/
mdwfonts.ins
diff --git
a/mdwfonts.ins
b/mdwfonts.ins
index
37d3efe
..
51d9682
100644
(file)
--- a/
mdwfonts.ins
+++ b/
mdwfonts.ins
@@
-6,16
+6,6
@@
% (c) 1996 Mark Wooding
%
% (c) 1996 Mark Wooding
%
-%----- Revision history -----------------------------------------------------
-%
-% $Log: mdwfonts.ins,v $
-% Revision 1.1 2002/02/19 22:54:13 mdw
-% Initial revision.
-%
-% Revision 1.1 1996/11/19 22:01:30 mdw
-% Initial revision
-%
-
\def\batchfile{mdwfonts.ins}
\input docstrip
\keepsilent
\def\batchfile{mdwfonts.ins}
\input docstrip
\keepsilent