diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2024-03-18 22:47:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-18 22:47:51 +0100 |
| commit | 5c9033024f067a283a9030eab204f8ca6d685101 (patch) | |
| tree | 9603f61d285d8917b0e85c14ccf44403406433de /runtime/lua/vim/_editor.lua | |
| parent | 920ef1fd71482d078cd095f68fd5f58cb22b0f33 (diff) | |
| download | rneovim-5c9033024f067a283a9030eab204f8ca6d685101.tar.gz rneovim-5c9033024f067a283a9030eab204f8ca6d685101.tar.bz2 rneovim-5c9033024f067a283a9030eab204f8ca6d685101.zip | |
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
https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de
Co-authored-by: zeertzjq <zeertzjq@outlook.com>
Diffstat (limited to 'runtime/lua/vim/_editor.lua')
0 files changed, 0 insertions, 0 deletions