alex/neovim
1
0
Fork 0
mirror of https://github.com/neovim/neovim.git synced 2026-02-22 18:30:39 +10:00
Code Issues Packages Projects Releases Wiki Activity
Files
marvim/ci-version-update
neovim/runtime/indent/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.4 KiB
Raw Permalink Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink