X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/putty/blobdiff_plain/388f343bce8fbbafc9e8c9548ade3e15279e992a..b3ebaa287b8a57f3d35675889adc86f6384eb458:/doc/intro.but

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