chiark / gitweb /
*: Eliminate the old CVS `$Id: ...' markers.
[mdwtools] / mdwthm.dtx
index d3df62721310d6135d81643f9b31c2f0e2773fad..3e9f4efbb28903db6c0a8684f42c452a56eae5e9 100644 (file)
@@ -1,6 +1,6 @@
 % \begin{meta-comment}
 %
-% $Id: mdwthm.dtx,v 1.5 2003/12/01 00:47:56 mdw Exp $
+% mdwthm.dtx
 %
 % Standard theorem typesetting
 %