The Wayback Machine - https://web.archive.org/web/20210817162950/https://github.com/ms-jpq/coq_nvim/pulls
Skip to content
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Assignee
Filter by who’s assigned
Sort
Update README.md
#62 opened Aug 17, 2021 by kov
Typo its -> it's
#12 opened Aug 15, 2021 by NilsIrl
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.