diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2024-11-04 21:52:04 +0100 |
|---|---|---|
| committer | Christian Clason <ch.clason+github@icloud.com> | 2024-11-05 08:31:32 +0100 |
| commit | 65b9499e4a761e4e76e0e1e60cb507c4d6232bd9 (patch) | |
| tree | b4ba8333d7b89563befb835d75dcb3f967f9c836 /runtime/lua/vim/_editor.lua | |
| parent | baf74ef9755e19781f52c3884023321c0198a3b5 (diff) | |
| download | rneovim-65b9499e4a761e4e76e0e1e60cb507c4d6232bd9.tar.gz rneovim-65b9499e4a761e4e76e0e1e60cb507c4d6232bd9.tar.bz2 rneovim-65b9499e4a761e4e76e0e1e60cb507c4d6232bd9.zip | |
vim-patch:9.1.0840: filetype: idris2 files are not recognized
Problem: filetype: idris2 files are not recognized
Solution: detect '*.idr' files as idris2, '*.lidr' files as lidris2
and '*.ipkg' files as ipkg filetype (Serhii Khoma)
closes: vim/vim#15987
https://github.com/vim/vim/commit/c04bc64ba61f2386fafb086b47f16f122a0c779a
Co-authored-by: Serhii Khoma <srghma@gmail.com>
Diffstat (limited to 'runtime/lua/vim/_editor.lua')
0 files changed, 0 insertions, 0 deletions