Clarify when ldisc->term may be NULL.

[PuTTY.git] / doc / licence.but

diff --git a/doc/licence.but b/doc/licence.but
index 2e971ccd5b5a4a169fdedba23ae7e0b695c1e841..bff3d70aa28a207725012a9237855d4aa71b75cf 100644 (file)
--- a/doc/licence.but
+++ b/doc/licence.but
@@ -1,5 +1,3 @@
-\define{versionidlicence} \versionid $Id$
-
 \A{licence} PuTTY \ii{Licence}
 
 PuTTY is \i{copyright} 1997-2014 Simon Tatham.