chiark / gitweb /
*: Eliminate the old CVS `$Id: ...' markers.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 6 Sep 2020 12:19:44 +0000 (13:19 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 6 Sep 2020 12:19:44 +0000 (13:19 +0100)
mdwfonts.dtx
mdwfonts.ins

index 73c1464a36e6c07167aa4315be4f06d3dfebd7ae..777e2192292bca0fe266d415ee7061fed675c2e8 100644 (file)
@@ -1,6 +1,6 @@
 % \begin{meta-comment}
 %
 % \begin{meta-comment}
 %
-% $Id: mdwfonts.dtx,v 1.1 2002/02/19 22:54:13 mdw Exp $
+% mdwfonts.dtx
 %
 % PostScript fonts for more excitement
 %
 %
 % PostScript fonts for more excitement
 %
index dfe71869b25f8cec3b86d746d77f67f16cd2d84c..c1622db0d7d3891ac8948b4a8d1a24bfbf903167 100644 (file)
@@ -1,5 +1,5 @@
 %
 %
-% $Id: mdwfonts.ins,v 1.1 2002/02/19 22:54:13 mdw Exp $
+% mdwfonts.ins
 %
 % Install mdwfonts package
 %
 %
 % Install mdwfonts package
 %