CC-tea/org-vim
1
0
Fork 0
mirror of https://github.com/vim/vim.git synced 2026-08-16 05:34:52 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
2da433cff7a7fff965a1e14dbee3dc4160d0ed74
org-vim/runtime/syntax/idris2.vim
T
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.3 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink