X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fintro.but;h=2ccf4fad2d725940a9cb58db2f69ab9a6db6ed77;hb=4abd468e14d110f2085f7a693687a9c19e1d47e1;hp=967ed95867bf42e8a0d58c3e5961e6212e45b9fb;hpb=35bdd95a5615450f9dd33427638c8da19f5a4cf8;p=PuTTY.git

diff --git a/doc/intro.but b/doc/intro.but
index 967ed958..2ccf4fad 100644
--- a/doc/intro.but
+++ b/doc/intro.but
@@ -1,3 +1,5 @@
+\versionid $Id: intro.but,v 1.4 2001/11/25 16:57:45 simon Exp $
+
 \C{intro} Introduction to PuTTY
 
 PuTTY is a free SSH, Telnet and Rlogin client for 32-bit Windows