diff options
| author | Wu, Zhenyu <wuzhenyu@ustc.edu> | 2024-03-31 19:18:10 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-03-31 19:18:10 +0200 |
| commit | be71ac694f623e162f1ecb7a182bdf2fd281591f (patch) | |
| tree | f62f5048b649bfcce239d4a6c0d01809196c33e8 /src/version.c | |
| parent | 6b285c8cfd74e1da49fe17dca2ea9989bd9dae49 (diff) | |
patch 9.1.0242: filetype: octave history files are not recognizedv9.1.0242
Problem: filetype: octave history files are not recognized
Solution: Detect octave/history files as octave
(Wu, Zhenyu)
closes: #14363
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 968ad9fed2..f236655fe2 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 */ /**/ + 242, +/**/ 241, /**/ 240, |