chiark / gitweb /
*: Eliminate the old CVS `$Id: ...' markers.
[mdwtools] / mdwref.dtx
index 58bec2ee30d44cc19e34339412f9fa485df56ef8..ea3f0a33db3e5208ffd90fb5de4d0514e203f317 100644 (file)
@@ -1,6 +1,6 @@
 % \begin{meta-comment}
 %
-% $Id: mdwref.dtx,v 1.3 2003/11/10 14:43:48 mdw Exp $
+% mdwref.dtx
 %
 % Slightly fancy cross-referencing stuff
 %