chiark / gitweb /
*: Eliminate the old CVS `$Id: ...' markers.
[mdwtools] / exercise.dtx
index 41464b545bf2a06881048786f86007ab4d228c1f..09f68c95c6e9c5a653f7aade7d15a28076f7fcdd 100644 (file)
@@ -1,6 +1,6 @@
 % \begin{meta-comment}
 %
-% $Id: exercise.dtx,v 1.2 2003/09/05 16:10:41 mdw Exp $
+% exercise.dtx
 %
 % Exercises
 %