patch 8.0.1794: duplicate term options after renaming

Problem: Duplicate term options after renaming. Solution: Remove the old names 'termkey', 'termsize' and 'terminalscroll'.
2018-05-05 16:36:06 +02:00
parent 248be5c5de
commit b833c1ef7b
6 changed files with 31 additions and 66 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1794,
 /**/
    1793,
 /**/