Pinned
7,775 contributions in the last year
Less
More
Activity overview
Contribution activity
August 2021
Created 668 commits in 10 repositories
Created a pull request in ms-jpq/coq_nvim that received 1 comment
Opened 26 other pull requests in 4 repositories
ms-jpq/coq_nvim
16
merged
- Typos
- try always comp
- disable flickering
- added better warnings for novenv
- do not load snippets if not required
- add autostart as an option
- fix sqlite TRUE <> 1
- utf8 on windows
- t9 download tmp path
- lower sqlite ver
- remove generated columns
- added silent COQnow
- packer needs to work
- fix utf8 decode
- update_artifacts: 2021-08-02_01-17-25
- update_artifacts: 2021-08-02_01-00-15
ms-jpq/coq.artifacts
3
merged
ms-jpq/sad
1
merged
Reviewed 1 pull request in 1 repository
ms-jpq/coq_nvim
1 pull request
368
contributions
in private repositories
Aug 1 – Aug 12