rhi
/
idris2-vim
1
0
Fork 0
Code Issues Pull Requests Releases Activity
idris2-vim/indent
History
rhiannon morris 3ffa41df09 remove } from indk 2021-12-28 09:56:16 +01:00
..
idris2.vim remove } from indk 2021-12-28 09:56:16 +01:00