diff options
author | Bram Moolenaar <Bram@vim.org> | 2016-04-05 22:07:04 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2016-04-05 22:07:04 +0200 |
commit | 54f1b7abf8c48b1dd997202258d1d0673ed4bd29 (patch) | |
tree | 3d01e3df0d01ff8f4d84b44af0add0883f29e2f1 /src | |
parent | f80663f17b2f2499b45eb4467088704c8298c385 (diff) |
patch 7.4.1714v7.4.1714
Problem: Non-GUI specific settings in the gvimrc_example file.
Solution: Move some settings to the vimrc_example file. Remove setting
'hlsearch' again. (suggested by Hirohito Higashi)
Diffstat (limited to 'src')
-rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index f22af28dc1..d420ebad52 100644 --- a/src/version.c +++ b/src/version.c @@ -749,6 +749,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1714, +/**/ 1713, /**/ 1712, |