diff options
author | Wu, Zhenyu <wuzhenyu@ustc.edu> | 2024-03-31 19:22:51 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2024-03-31 19:22:51 +0200 |
commit | 84ce55001af80d89245c4dd051c6f809389df62f (patch) | |
tree | 76a460d1f8e21c28184a254ab8e1d868d0d8dcdc /src/version.c | |
parent | abbb4a4f7032de9e223293182402af5e2867e372 (diff) |
patch 9.1.0244: filetype: bash history files are not recognizedv9.1.0244
Problem: filetype: bash history files are not recognized
Solution: detect .bash-history and .bash_history files as bash
(Wu, Zhenyu)
closes: #14365
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 b89c6c874e..a6755acaae 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 */ /**/ + 244, +/**/ 243, /**/ 242, |