This website requires JavaScript.
Explore
Help
Sign In
moritz
/
dotfiles
Watch
1
Star
0
Fork
You've already forked dotfiles
0
Code
Issues
Pull Requests
Projects
Releases
Wiki
Activity
3180e64085
dotfiles
/
modules
/
programs
/
nvim
/
plugins
/
coq-nvim.lua
4 lines
51 B
Lua
Raw
Blame
History
vim.g
.
coq_settings
=
{
auto_start
=
"
shut-up
"
,
}
Reference in New Issue
View Git Blame
Copy Permalink