chiark / gitweb /
*: Eliminate the old CVS `$Id: ...' markers.
[mdwtools] / footnote.dtx
index 235b179fc19111320b18427f8d12c0374908b816..4241f8ff144e8437e811765fee953e0a0a637513 100644 (file)
@@ -1,6 +1,6 @@
 % \begin{meta-comment}
 %
-% $Id: footnote.dtx,v 1.2 2002/03/13 21:50:04 mdw Exp $
+% footnote.dtx
 %
 % Save footnotes around boxing environments and things
 %