Christian Clason 5c9033024f vim-patch:9.1.0187: filetype: no support for Dafny files (#27918) ...

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: vim/vim#14226

4e334d0443

Co-authored-by: zeertzjq <zeertzjq@outlook.com>

2024-03-18 22:47:51 +01:00

..

testdir

vim-patch:9.1.0187: filetype: no support for Dafny files (#27918)

2024-03-18 22:47:51 +01:00

memfile_test.c

build: remove PVS

2023-11-12 21:26:39 +01:00