1
0
Fork 0

fix: improve nvim lsp usage

Signed-off-by: Lucas Sta Maria <lucas@priime.dev>
This commit is contained in:
Lucas Sta Maria 2022-08-10 23:09:13 -04:00
parent 4401053898
commit e9df63da9c
No known key found for this signature in database
GPG key ID: F07FB16A826E3B47
5 changed files with 96 additions and 25 deletions

View file

@ -1,3 +0,0 @@
vim.g.coq_settings = {auto_start = true}
local coq = require('coq')
vim.cmd('COQnow')