diff options
| author | Gregory Anders <greg@gpanders.com> | 2024-05-08 20:17:43 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-05-08 20:17:43 +0200 |
| commit | 6a4ea471d28107c4078e106ace1bdc0c54bf946b (patch) | |
| tree | 82ef6d3fbf9455af031d9bbf30eae90d4db3433b /src/version.c | |
| parent | b8ecedce79149ac6b994177e9a68979f86065cb1 (diff) | |
patch 9.1.0396: filetype: jj files are not recognizedv9.1.0396
Problem: jj files are not recognized
Solution: recognize '*.jjdescription' files as jj filetype
(Gregory Anders)
See: https://github.com/martinvonz/jj
closes: #14733
Signed-off-by: Gregory Anders <greg@gpanders.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
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 0e6ac314ed..8dd6d18c09 100644 --- a/src/version.c +++ b/src/version.c @@ -705,6 +705,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 396, +/**/ 395, /**/ 394, |