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

[PuTTY.git] / doc / intro.but

diff --git a/doc/intro.but b/doc/intro.but
index aab1504f0f87fa76cbbab6ebeb319ce7a965f0f7..ab9b04e4df10d82f917d3273cd0db47d63baab24 100644 (file)
--- a/doc/intro.but
+++ b/doc/intro.but
@@ -1,4 +1,4 @@
-\versionid $Id: intro.but,v 1.7 2004/10/24 15:58:31 jacob Exp $
+\define{versionidintro} \versionid $Id$
 
 \C{intro} Introduction to PuTTY