8000 nvim-agda/ftplugin at master · ashinkarov/nvim-agda · GitHub
[go: up one dir, main page]
Skip to content

ftplugin

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

ftplugin

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
agda.vim
agda.vim
 
 
0