commit | 3a4c53ba51c01b8fea68972453a71c55cf32edbe | [log] [tgz] |
---|---|---|
author | Bram Moolenaar <Bram@vim.org> | Fri Apr 19 23:33:14 2019 +0200 |
committer | Bram Moolenaar <Bram@vim.org> | Fri Apr 19 23:33:14 2019 +0200 |
tree | 6c5041426c0417bab301261e95f31becbb619e7d | |
parent | 334ad415040f9592451ec99498cd99f90d6e33e6 [diff] [blame] |
patch 8.1.1187: cannot recognize Pipfile Problem: Cannot recognize Pipfile. Solution: Use existing filetypes. (Charles Ross, closes #4280)
diff --git a/src/version.c b/src/version.c index 0b9a5df..f9b53b0 100644 --- a/src/version.c +++ b/src/version.c
@@ -772,6 +772,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1187, +/**/ 1186, /**/ 1185,