[runtime] Typo in options.txt

[Franklin, Jason]

Found a typo: "non- empty" should be "non-empty". See below...


diff --git a/runtime/doc/options.txt b/runtime/doc/options.txt
index b17be8646..5ec121dc7 100644
--- a/runtime/doc/options.txt
+++ b/runtime/doc/options.txt
@@ -7957,7 +7957,7 @@ A jump table for the options with a short
description can be found at |Q_op|.
- VIM the server name |v:servername| or "VIM"
Only works if the terminal supports setting window titles
(currently Amiga console, Win32 console, all GUI versions and
- terminals with a non- empty 't_ts' option - these are Unix xterm and
+ terminals with a non-empty 't_ts' option - these are Unix xterm and
iris-ansi by default, where 't_ts' is taken from the builtin termcap).
*X11*
When Vim was compiled with HAVE_X11 defined, the original title will


--
Jason Franklin

[Bram Moolenaar]

I'll include it, thanks.

--
"I love deadlines. I especially like the whooshing sound they
make as they go flying by."
-- Douglas Adams

/// Bram Moolenaar -- Br...@Moolenaar.net -- http://www.Moolenaar.net \\\
/// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
\\\ an exciting new programming language -- http://www.Zimbu.org ///
\\\ help me help AIDS victims -- http://ICCF-Holland.org ///