patch 9.1.0187: filetype: no support for Dafny files Commit: https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de Author: zeertzjq <zeertzjq@outlook.com> Date: Mon Mar 18 19:21:48 2024 +0100 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>

" Vim filetype plugin file
" Language:     Pixar Animation's Universal Scene Description format
" Maintainer:   Colin Kennedy <colinvfx@gmail.com>
" Last Change:  2023 May 9
"               2023 Aug 28 by Vim Project (undo_ftplugin)

if exists("b:did_ftplugin")
  finish
endif
let b:did_ftplugin = 1

setlocal commentstring=#\ %s

let b:undo_ftplugin = "setlocal commentstring<"