]> git.ipfire.org Git - thirdparty/vim.git/commit
projects / thirdparty / vim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9530fe4) | patch
patch 9.1.0187: filetype: no support for Dafny files v9.1.0187
authorzeertzjq <zeertzjq@outlook.com>
Mon, 18 Mar 2024 18:21:48 +0000 (19:21 +0100)
committerChristian Brabandt <cb@256bit.org>
Mon, 18 Mar 2024 18:21:48 +0000 (19:21 +0100)
commit4e334d0443f28f4e749dbef38d686d0dd19122de
tree0c0527bfa48c63e2d0bd257cf56d70114146e7datree
parent9530fe4f3a69c6bd11fc745d3b2d1667cdd0cf6dcommit | diff
patch 9.1.0187: filetype: no support for Dafny files

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>
runtime/filetype.vim diff | blob | blame | history
src/testdir/test_filetype.vim diff | blob | blame | history
src/version.c diff | blob | blame | history
Mirror of https://github.com/vim/vim.git