dotfiles/modules/programs/nvim/plugins/coq-nvim.lua

vim.g.coq_settings = {
  auto_start = "shut-up",
  keymap = {
    jump_to_mark = "<c-n>",
  },
}
feat(nvim): add coq-nvim 2023-07-24 18:44:03 +02:00			`vim.g.coq_settings = {`
			`auto_start = "shut-up",`
fix(nvim): eliminate duplicate keybind of <c-h> 2023-08-16 22:06:48 +02:00			`keymap = {`
			`jump_to_mark = "<c-n>",`
			`},`
feat(nvim): add coq-nvim 2023-07-24 18:44:03 +02:00			`}`