diff options
| -rw-r--r-- | src/os_win32.c | 6 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/os_win32.c b/src/os_win32.c index 0680346af..816c3a59c 100644 --- a/src/os_win32.c +++ b/src/os_win32.c @@ -186,12 +186,12 @@ static int win32_getattrs(char_u *name); static int win32_setattrs(char_u *name, int attrs); static int win32_set_archive(char_u *name); -static int vtp_working = 0; static int conpty_working = 0; static int conpty_stable = 0; static void vtp_flag_init(); #ifndef FEAT_GUI_W32 +static int vtp_working = 0; static void vtp_init(); static void vtp_exit(); static int vtp_printf(char *format, ...); @@ -7874,14 +7874,14 @@ is_term_win32(void) return T_NAME != NULL && STRCMP(T_NAME, "win32") == 0; } -#endif - int has_vtp_working(void) { return vtp_working; } +#endif + int has_conpty_working(void) { diff --git a/src/version.c b/src/version.c index e2b6f7a61..00c63e53c 100644 --- a/src/version.c +++ b/src/version.c @@ -784,6 +784,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 931, +/**/ 930, /**/ 929, |