Pull requests: ms-jpq/coq_nvim
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
ADD: Option to set the manual complete trigger to be only in insert mode
#490
opened May 30, 2022 by
skoenen
Loading…
Add COQmarks_available() to check if there are marks available
#249
opened Sep 9, 2021 by
zeertzjq
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.