New command-line option in Plink (and PuTTY, though it's less useful

[PuTTY.git] / puttyps.h

diff --git a/puttyps.h b/puttyps.h
index 1370bfd2a094e7ebafaae5e9cd135acc1afc5de6..d1f3c37df884dbdc96e0e63c6c6ab6d9d5f0272f 100644 (file)
--- a/puttyps.h
+++ b/puttyps.h
@@ -1,3 +1,7 @@
+/*
+ * Find the platform-specific header for this platform.
+ */
+
 #ifndef PUTTY_PUTTYPS_H
 #define PUTTY_PUTTYPS_H