summaryrefslogtreecommitdiffstats
path: root/src/version.c
diff options
context:
space:
mode:
authorzeertzjq <zeertzjq@outlook.com>2024-03-18 19:21:48 +0100
committerChristian Brabandt <cb@256bit.org>2024-03-18 19:21:48 +0100
commit4e334d0443f28f4e749dbef38d686d0dd19122de (patch)
tree0c0527bfa48c63e2d0bd257cf56d70114146e7da /src/version.c
parent9530fe4f3a69c6bd11fc745d3b2d1667cdd0cf6d (diff)
patch 9.1.0187: filetype: no support for Dafny filesv9.1.0187
Problem: Dafny files are not recognized. Solution: Recognize *.dfy files as filetype "dafny" (zeertzjq). Ref: https://dafny.org/ Ref: https://github.com/mlr-msft/vim-loves-dafny closes: #14226 Signed-off-by: zeertzjq <zeertzjq@outlook.com> Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to 'src/version.c')
-rw-r--r--src/version.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c
index d090228075..ca4ca563ee 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 */
/**/
+ 187,
+/**/
186,
/**/
185,