chiark / gitweb /
*: Eliminate the old CVS `$Id: ...' markers.
[mdwtools] / at.dtx
diff --git a/at.dtx b/at.dtx
index a9b7d0045deef43277579f988002576cd3917d27..2b4f1dd93a9a329d961200a4cfbba4a97b0a919f 100644 (file)
--- a/at.dtx
+++ b/at.dtx
@@ -1,6 +1,6 @@
 % \begin{meta-comment}
 %
-% $Id: at.dtx,v 1.1 2002/02/03 20:49:02 mdw Exp $
+% at.dtx
 %
 % Allow @-commands
 %