From bcee13f8f7106b59a49352692561b562277d8957 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Thu, 12 Feb 2004 18:28:00 +0000 Subject: [PATCH] Back out my temporary edit of the FAQ, to make it once again 0.54-ready. [originally from svn r3848] --- doc/faq.but | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/doc/faq.but b/doc/faq.but index fb67db7f..8e7f93c6 100644 --- a/doc/faq.but +++ b/doc/faq.but @@ -1,4 +1,4 @@ -\versionid $Id: faq.but,v 1.56 2004/02/10 19:32:08 simon Exp $ +\versionid $Id: faq.but,v 1.57 2004/02/12 18:28:00 simon Exp $ \A{faq} PuTTY FAQ @@ -215,8 +215,8 @@ or any other port of PuTTY, they were mistaken. We don't. \S{faq-unix}{Question} Is there a port to Unix? -As of 0.54 (out soon), there are Unix ports of most of the -traditional PuTTY tools, and also one entirely new application. +As of 0.54, there are Unix ports of most of the traditional PuTTY +tools, and also one entirely new application. If you look at the source release, you should find a \c{unix} subdirectory containing \c{Makefile.gtk}, which should build you Unix @@ -623,8 +623,8 @@ the middle of a session, you will find that the change does not immediately take effect. It will only take effect once you reset the terminal. -In version 0.54 (out soon), the behaviour has changed - changes to -these settings take effect immediately. +In version 0.54, the behaviour has changed - changes to these +settings take effect immediately. \S{faq-altgr}{Question} I can't type characters that require the AltGr key. -- 2.45.1