| commit | f3f198b6349fe252b72975701e2f17d932b19c70 | [log] [tgz] |
|---|---|---|
| author | ObserverOfTime <chronobserver@disroot.org> | Sat Nov 26 13:03:20 2022 +0000 |
| committer | Bram Moolenaar <Bram@vim.org> | Sat Nov 26 13:03:20 2022 +0000 |
| tree | 86c4251b3808a1ddadccd670c10100a45d76b4a0 | |
| parent | 01105b37a108022515d364201767f7f111ec4222 [diff] [blame] |
patch 9.0.0952: Eclipse preference files are not recognized
Problem: Eclipse preference files are not recognized.
Solution: Add a pattern to use "jproperties" for Eclipse preference files.
(closes #11618)
diff --git a/src/version.c b/src/version.c index 829e71d..758c4b5 100644 --- a/src/version.c +++ b/src/version.c
@@ -696,6 +696,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 952, +/**/ 951, /**/ 950,