From 7d7d14d7fb1a63495553eea8bd3c7d3c1c839be4 Mon Sep 17 00:00:00 2001 From: Simon Tatham Date: Sat, 17 Apr 2021 13:20:58 +0100 Subject: [PATCH] Docs: don't mention the connection "radio buttons". They're not any more! --- doc/config.but | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/config.but b/doc/config.but index 4222b784..ccd08d12 100644 --- a/doc/config.but +++ b/doc/config.but @@ -21,7 +21,7 @@ filled in before PuTTY can open a session at all. \b The \q{Host Name} box is where you type the name, or the \i{IP address}, of the server you want to connect to. -\b The \q{Connection type} radio buttons let you choose what type of +\b The \q{Connection type} controls let you choose what type of connection you want to make: an \i{SSH} network connection, a connection to a local \i{serial line}, or various other kinds of network connection.