diff options
author | Wu, Zhenyu <wuzhenyu@ustc.edu> | 2024-03-31 19:54:12 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2024-03-31 19:55:57 +0200 |
commit | a917bd58bde0e1fca2affedc6fc0c15cb6b5e9f2 (patch) | |
tree | 081d11950d0d6f0ddec293b7523efa4bf1ed2741 /src/version.c | |
parent | 3b497aa2470ff613fed79569bc8589dae8dc3190 (diff) |
patch 9.1.0249: filetype: rock_manifest and config.ld files are not recognizedv9.1.0249
Problem: filetype: rock_manifest and config.ld files are not recognized
Solution: Detect 'rock_manifest' and 'config.ld' as lua
(Wu, Zhenyu)
closes: #14370
Signed-off-by: Wu, Zhenyu <wuzhenyu@ustc.edu>
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 7eb84b7430..5278867360 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 */ /**/ + 249, +/**/ 248, /**/ 247, |