diff options
author | Riley Bruins <ribru17@hotmail.com> | 2024-05-20 14:21:53 +0200 |
---|---|---|
committer | Christian Brabandt <cb@256bit.org> | 2024-05-20 14:21:53 +0200 |
commit | 155583a5c317881e60828e3972383436ac197ee8 (patch) | |
tree | 58286b6979aaea0ed3960bf4c1ad03540766f18a /src/version.c | |
parent | aa3104b07a3e5e7cc41310f1fbfb00f71ef801a2 (diff) |
patch 9.1.0425: filetype: purescript files are not recognizedv9.1.0425
Problem: filetype: purescript files are not recognized
Solution: recognize '*.purs' files as purescript filetype,
include basic purescript filetype plugin
(Riley Bruins)
Reference: https://github.com/purescript/documentation/blob/master/language/Syntax.md#comments
closes: #14813
Signed-off-by: Riley Bruins <ribru17@hotmail.com>
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 b10e501987..7941f8af77 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 */ /**/ + 425, +/**/ 424, /**/ 423, |