CC-tea/org-vim
1
0
Fork 0
mirror of https://github.com/vim/vim.git synced 2026-08-17 05:59:12 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
05e44e978fc7acb5314ce16f5a41d8e75d34bd21
org-vim/runtime/syntax/lidris2.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

804 B
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink