aniani/vim
0
0
Fork 1
mirror of https://github.com/vim/vim.git synced 2025-11-15 23:14:06 -05:00
Code Activity
Files
1ff3e701e49c04162c1bd68b58fb6588dda89fe0
vim/runtime/indent/idris2.vim
Serhii Khoma 5ca8f223f0 runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg 
closes: #15993

Co-authored-by: Christian Clason <ch.clason+github@icloud.com>
Signed-off-by: Serhii Khoma <srghma@gmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
2024-11-12 21:52:20 +01:00

4.4 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink