Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tomtomjhj/vscoq.nvim issues and pull requests
#5 - bad pretty printing result
Issue -
State: open - Opened by tomtomjhj 22 days ago
- 3 comments
#4 - 2.1.7 still doesn't format properly, even in vscode
Issue -
State: closed - Opened by tomtomjhj about 2 months ago
- 1 comment
#3 - 2.1.7 doesn't respond to initialize request
Issue -
State: closed - Opened by tomtomjhj about 2 months ago
- 1 comment
#2 - feature request: formatting and controlling line in goal view
Issue -
State: open - Opened by oddcoder 7 months ago
- 3 comments
#1 - Feature request: Jump to end of interpreted region
Issue -
State: closed - Opened by mizlan 8 months ago
- 1 comment