| commit | fead3ac9a35e0fc358141d3eb19574cd8a3ecb55 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Mon Mar 28 21:26:47 2016 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Mon Mar 28 21:26:47 2016 +0200 |
| tree | 1ab272b060e334449c24bbdb61ecde0b24f7bb53 | |
| parent | e101204906e10f1e100e2f9017985c61f26b03ac [diff] |
patch 7.4.1676 Problem: The shellmenu plugin has to be copied or sourced to be used. Solution: Turn it into a package.
diff --git a/src/version.c b/src/version.c index 70a5969..a009d8c 100644 --- a/src/version.c +++ b/src/version.c
@@ -749,6 +749,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1676, +/**/ 1675, /**/ 1674,