X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/putty/blobdiff_plain/68f9b3d9a6eccbfb006343ec7edc045e7d673973..8f1529bcee83cebc3d0e49c9463feba54d8671f1:/doc/config.but

diff --git a/doc/config.but b/doc/config.but
index 0377c6dd..a79de223 100644
--- a/doc/config.but
+++ b/doc/config.but
@@ -1,3 +1,5 @@
+\versionid $Id: config.but,v 1.12 2001/11/25 16:57:45 simon Exp $
+
 \C{config} Configuring PuTTY
 
 This chapter describes all the configuration options in PuTTY.