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 | |
| 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')
| -rw-r--r-- | runtime/lua/vim/filetype.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/lua/vim/filetype.lua b/runtime/lua/vim/filetype.lua index fba76f93b2..614aa428e1 100644 --- a/runtime/lua/vim/filetype.lua +++ b/runtime/lua/vim/filetype.lua @@ -335,6 +335,7 @@ local extension = { si = 'cuplsim', cyn = 'cynpp', cypher = 'cypher', + dfy = 'dafny', dart = 'dart', drt = 'dart', ds = 'datascript', |