From 44a21426535aaf7966c967e958213edd317d137e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Moritz=20B=C3=B6hme?= <mail@moritzboeh.me>
Date: Wed, 16 Aug 2023 22:06:48 +0200
Subject: [PATCH] fix(nvim): eliminate duplicate keybind of <c-h>

---
 modules/programs/nvim/plugins/coq-nvim.lua | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/modules/programs/nvim/plugins/coq-nvim.lua b/modules/programs/nvim/plugins/coq-nvim.lua
index 9946c3b..63536a8 100644
--- a/modules/programs/nvim/plugins/coq-nvim.lua
+++ b/modules/programs/nvim/plugins/coq-nvim.lua
@@ -1,3 +1,6 @@
 vim.g.coq_settings = {
   auto_start = "shut-up",
+  keymap = {
+    jump_to_mark = "<c-n>",
+  },
 }