Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix(coq_nvim): fix coq bindings (#798)
* fix(coq_nvim): change clashing keybind <C-H> * fix(coq_nvim): use Tab for consistency --------- Co-authored-by: Tony Fischer (tku137) <[email protected]>
- Loading branch information