mirror of
https://github.com/neovim/neovim.git
synced 2025-09-08 04:18:18 +00:00

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>