Now we use Subversion, it seems excessive to have an individual $Id$

[sgt/putty] / doc / config.but

diff --git a/doc/config.but b/doc/config.but
index 59a551f..1dacb51 100644 (file)
--- a/doc/config.but
+++ b/doc/config.but
@@ -1,4 +1,4 @@
-\versionid $Id: config.but,v 1.97 2004/11/09 17:57:32 simon Exp $
+\define{versionidconfig} \versionid $Id$
 
 \C{config} Configuring PuTTY