2 lines
119 B
Text
Vendored
2 lines
119 B
Text
Vendored
autoload.vim and ftplugin.vim are mostly taken from
|
|
https://github.com/derekelkins/agda-vim, with slight modification.
|