patch 8.1.1187: cannot recognize Pipfile

Problem: Cannot recognize Pipfile. Solution: Use existing filetypes. (Charles Ross, closes #4280)
2019-04-19 23:33:14 +02:00
parent 334ad41504
commit 3a4c53ba51
3 changed files with 11 additions and 4 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -771,6 +771,8 @@ static char *(features[]) =

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