diff src/version.c @ 18496:7b1f8e4b32ba v8.1.2242

patch 8.1.2242: creating docs tags uses user preferences Commit: https://github.com/vim/vim/commit/70def98a957620cc325d1ab6ee35f13187598693 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Nov 2 22:45:31 2019 +0100 patch 8.1.2242: creating docs tags uses user preferences Problem: Creating docs tags uses user preferences. (Tony Mechelynck) Solution: Add "--clean".
author Bram Moolenaar <Bram@vim.org>
date Sat, 02 Nov 2019 23:00:05 +0100
parents 04a40c1514c4
children 9e6d5a4abb1c
line wrap: on
line diff
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    2242,
+/**/
     2241,
 /**/
     2240,