Pinned
403 contributions in the last year
Less
More
Activity overview
Contributed to
GoogleCloudPlatform/fda-mystudies,
nikklassen/advent-of-code,
nikklassen/dotfiles
and 5 other
repositories
Contribution activity
August 2021
Created 1 commit in 1 repository
Created 1 repository
- nikklassen/coq_nvim Python
Created a pull request in ms-jpq/coq_nvim that received 5 comments
Resolve executable and runtime dir when comparing
I encountered an issue when trying to use this plugin with symlinks. I use vim-plug
and a dotfiles repo, so my setup is
~/dotfiles/vim/plugged/coq_…
+1
−1
•
5
comments
3
contributions
in private repositories
Aug 2 – Aug 15