From 675e8d6adb88d5b38087870dfda51c0205070741 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sun, 24 Jun 2018 20:42:01 +0200 Subject: Update runtime files. --- runtime/doc/remote.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'runtime/doc/remote.txt') diff --git a/runtime/doc/remote.txt b/runtime/doc/remote.txt index f856c98fc7..15219e0b9b 100644 --- a/runtime/doc/remote.txt +++ b/runtime/doc/remote.txt @@ -63,7 +63,7 @@ The following command line arguments are available: --servername {name} Become the server {name}. When used together with one of the --remote commands: connect to server {name} instead of the default (see - below). + below). The name used will be uppercase. *--remote-send* --remote-send {keys} Send {keys} to server and exit. The {keys} are not mapped. Special key names are -- cgit v1.2.3