diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/mdk.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/mdk.texi b/doc/mdk.texi index bd41b79..7dd6a52 100644 --- a/doc/mdk.texi +++ b/doc/mdk.texi @@ -5,6 +5,7 @@ @syncodeindex pg cp @c @finalout @setchapternewpage odd +@c $Id: mdk.texi,v 1.25 2004/08/04 21:33:41 jao Exp $ @c %**end of header @set UPDATED August, 2004 @@ -247,4 +248,3 @@ Copying @bye -$Id: mdk.texi,v 1.24 2004/08/03 13:23:05 jao Exp $ |