Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ms-jpq/coq_nvim issues and pull requests
#6 - 2021-06-21
Pull Request -
State: closed - Opened by ms-jpq over 3 years ago
#5 - Why rename?
Issue -
State: closed - Opened by kuator over 3 years ago
- 7 comments
#4 - Request for simple working configuration
Issue -
State: closed - Opened by ratheesh over 3 years ago
- 2 comments
#3 - Update README.md
Pull Request -
State: closed - Opened by kylepollina almost 4 years ago
- 1 comment
#2 - add proximity bonus
Issue -
State: closed - Opened by ms-jpq about 4 years ago
- 1 comment
#1 - Fixes ```attempt to index field 'map' (a function value)```
Pull Request -
State: closed - Opened by sandersantema about 4 years ago
- 1 comment