diff options
author | Bram Moolenaar <Bram@vim.org> | 2019-07-14 15:09:59 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2019-07-14 15:09:59 +0200 |
commit | 1850b14c0d338eb27fb32d0d6e0bfb6944c75c5a (patch) | |
tree | 98ff542900cd048c60c765d3f5af81af919bc32a /src/version.c | |
parent | ecaa70ea29c269dd0dabd3cd5acdfa0ce42ccd54 (diff) |
patch 8.1.1688: old makefiles are no longer usefulv8.1.1688
Problem: Old makefiles are no longer useful.
Solution: Delete the makefiles, they most likely don't work anyway.
Diffstat (limited to 'src/version.c')
-rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 69060d5896..ddf68db4ad 100644 --- a/src/version.c +++ b/src/version.c @@ -778,6 +778,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1688, +/**/ 1687, /**/ 1686, |