diff options
author | Wu, Zhenyu <wuzhenyu@ustc.edu> | 2024-04-09 22:49:19 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2024-04-09 22:49:19 +0200 |
commit | d2b95b8446233e0021a8c0cd672f8fae748e3955 (patch) | |
tree | ff5c79d0bf0279db9ef2db3d121b6f846d8eac78 /src/version.c | |
parent | 08b0f632c125514fe0ea188c36ac048d7d7929d4 (diff) |
patch 9.1.0295: filetype: pip config files are not recognizedv9.1.0295
Problem: filetype: pip config files are not recognized
Solution: detect pip.conf as dosini filetype
(Wu, Zhenyu)
closes: #14448
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 f39d30a1d3..2c6e7d02fd 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 */ /**/ + 295, +/**/ 294, /**/ 293, |