diff options
| author | Wu, Zhenyu <wuzhenyu@ustc.edu> | 2024-04-09 22:09:30 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-04-09 22:09:30 +0200 |
| commit | 61ee833a504ae73bc6b3e2527a81582263f02afd (patch) | |
| tree | 82aa919567a6739c2720bfd810f42e819f9ec1ff /src/version.c | |
| parent | 72a156b4edfdf1502d421370cf38281c258e3c4a (diff) | |
patch 9.1.0289: filetype: some TeX files are not recognizedv9.1.0289
Problem: filetype: some TeX files are not recognized
Solution: Add more patterns for TeX files and inspect
a few more files for being TeX files
(Wu, Zhenyu)
closes: #14456
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 44f9923674..f1c52c5ae7 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 */ /**/ + 289, +/**/ 288, /**/ 287, |