comparison 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
comparison
equal deleted inserted replaced
18495:9a48788bc82e 18496:7b1f8e4b32ba
739 NULL 739 NULL
740 }; 740 };
741 741
742 static int included_patches[] = 742 static int included_patches[] =
743 { /* Add new patch number below this line */ 743 { /* Add new patch number below this line */
744 /**/
745 2242,
744 /**/ 746 /**/
745 2241, 747 2241,
746 /**/ 748 /**/
747 2240, 749 2240,
748 /**/ 750 /**/