| commit | 71afbfe6cd697de30a9e0d57e5a6434cf4bb0f13 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Tue Mar 19 16:49:16 2013 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Tue Mar 19 16:49:16 2013 +0100 |
| tree | 981f8a151ec2a29321c8ef579101f82403e6e38b | |
| parent | db333a5b8d0c72b7342d6d65ad2895a19a1c29d2 [diff] [blame] |
updated for version 7.3.872
Problem: On some systems case of file names is always ignored, on others
never.
Solution: Add the 'fileignorecase' option to control this at runtime.
Implies 'wildignorecase'.
diff --git a/src/version.c b/src/version.c index 1a652ac..072005f 100644 --- a/src/version.c +++ b/src/version.c
@@ -729,6 +729,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 872, +/**/ 871, /**/ 870,