moritz
/
dotfiles
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
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