You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Drake 2259f1373f
Make indentline not show in help files
2 years ago
lua Make indentline not show in help files 2 years ago
plugin Add vim.* completion with coq-3p 3 years ago
init.lua Add vim.* completion with coq-3p 3 years ago