]> git.ipfire.org Git - thirdparty/vim.git/commit
projects / thirdparty / vim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93f65a4) | patch
patch 9.1.0840: filetype: idris2 files are not recognized v9.1.0840
authorSerhii Khoma <srghma@gmail.com>
Mon, 4 Nov 2024 19:14:43 +0000 (20:14 +0100)
committerChristian Brabandt <cb@256bit.org>
Mon, 4 Nov 2024 19:14:43 +0000 (20:14 +0100)
commitc04bc64ba61f2386fafb086b47f16f122a0c779a
tree5354bc163f5040914008a63dacfbb2c982eedeb6tree
parent93f65a4ab8168c766e4d3794607762b52762ef82commit | diff
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: #15987

Signed-off-by: Serhii Khoma <srghma@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
runtime/filetype.vim diff | blob | blame | history
src/testdir/test_filetype.vim diff | blob | blame | history
src/version.c diff | blob | blame | history
Mirror of https://github.com/vim/vim.git