0
0
mirror of https://github.com/vim/vim.git synced 2025-10-08 06:04:08 -04:00

patch 8.1.1169: writing coverage info in a separate dir is not needed

Problem:    Writing coverage info in a separate dir is not needed.
Solution:   Revert the changes to use a separate directory.
This commit is contained in:
Bram Moolenaar
2019-04-13 22:44:51 +02:00
parent 87dcfd75c2
commit 837854d1bc
3 changed files with 2 additions and 7 deletions

View File

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