afonso/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fixed coq artifacts import

Browse source
This commit is contained in:
Afonso Franco 2022-12-02 03:39:52 +00:00
parent 0366185d6d
commit cdfacf0a82
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.config/nvim/lua/plugins/packer.lua
View file

@ -37,7 +37,7 @@ local plugins = packer.startup({function(use)
} }
use {"ms-jpq/coq_nvim", use {"ms-jpq/coq.artifacts",
branch = 'artifacts', branch = 'artifacts',
} }