moritz
/
dotfiles
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
981 Commits
1 Branch
0 Tags
182 MiB
Commit Graph

1 Commits (4a5b007e006fd7a0d9b7084d3696881f1abf491f)

Author SHA1 Message Date
Moritz Böhme e2aff57d72
feat(nvim): add coq-nvim 2023-07-24 18:45:27 +02:00