Merge branch 'pre-0.64'

[PuTTY.git] / doc / feedback.but

diff --git a/doc/feedback.but b/doc/feedback.but
index 04bbab9807e99bea8e5a6f9781211f9b524b178f..d81d1fee82c60474001289604505c39f738b0428 100644 (file)
--- a/doc/feedback.but
+++ b/doc/feedback.but
@@ -1,5 +1,3 @@
-\define{versionidfeedback} \versionid $Id$
-
 \A{feedback} \ii{Feedback} and \i{bug reporting}
 
 This is a guide to providing feedback to the PuTTY development team.