From: ben <ben@cda61777-01e9-0310-a592-d414129be87e>
Date: Wed, 9 May 2007 21:35:24 +0000 (+0000)
Subject: These days, you _can_ save a host name in Default Settings.
X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/commitdiff_plain/e9b5ee69b1e19e83aa52f0b462a6eb2b9946e559?hp=143ec28a626f97d0c81b7d653a3de3eee419268d

These days, you _can_ save a host name in Default Settings.


git-svn-id: svn://svn.tartarus.org/sgt/putty@7566 cda61777-01e9-0310-a592-d414129be87e
---

diff --git a/doc/config.but b/doc/config.but
index e5d42e9e..5f74a2cf 100644
--- a/doc/config.but
+++ b/doc/config.but
@@ -61,13 +61,6 @@ you want them saved. Then come back to the Session panel. Select the
 \q{\i{Default Settings}} entry in the saved sessions list, with a single
 click. Then press the \q{Save} button.
 
-\lcont{
-Note that PuTTY does not allow you to save a host name into the
-Default Settings entry. This ensures that when PuTTY is started up,
-the host name box is always empty, so a user can always just type in
-a host name and connect.
-}
-
 If there is a specific host you want to store the details of how to
 connect to, you should create a saved session, which will be
 separate from the Default Settings.