patch 8.2.3784: the help for options is outdated

Problem:    The help for options is outdated.
Solution:   Include all the recent changes.
This commit is contained in:
Bram Moolenaar
2021-12-11 17:24:39 +00:00
parent 2ef9156b42
commit 7b1463bca3
2 changed files with 18 additions and 2 deletions

View File

@@ -753,6 +753,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
3784,
/**/
3783,
/**/