alex/neovim
1
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2026-02-22 02:11:33 +10:00
Code Issues Packages Projects Releases Wiki Activity
Files
d052d22979f87c75f06ae3e5da728babffd8fe1a
neovim/runtime/syntax/idris2.vim
Christian Clason 096cb572af vim-patch:5ca8f22: runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg 
closes: vim/vim#15993

5ca8f223f0

Co-authored-by: Serhii Khoma <srghma@gmail.com>
Co-authored-by: Christian Clason <ch.clason+github@icloud.com>
2024-11-13 08:24:14 +01:00

4.3 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink