Implement refreshing the whole dialogue box with dlg_refresh, so that

[u/mdw/putty] / doc / licence.but

diff --git a/doc/licence.but b/doc/licence.but
index a78415f..ac7fcf0 100644 (file)
--- a/doc/licence.but
+++ b/doc/licence.but
@@ -1,12 +1,12 @@
-\versionid $Id: licence.but,v 1.5 2003/01/03 10:59:53 simon Exp $
+\define{versionidlicence} \versionid $Id$
 
 \A{licence} PuTTY Licence
 
-PuTTY is copyright 1997-2003 Simon Tatham.
+PuTTY is copyright 1997-2005 Simon Tatham.
 
 Portions copyright Robert de Bath, Joris van Rantwijk, Delian
 Delchev, Andreas Schultz, Jeroen Massar, Wez Furlong, Nicolas Barry,
-Justin Bradford, and CORE SDI S.A.
+Justin Bradford, Ben Harris, Malcolm Smith, and CORE SDI S.A.
 
 Permission is hereby granted, free of charge, to any person
 obtaining a copy of this software and associated documentation files