nix-community/nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-11-08 11:36:07 +01:00
Code Activity
nixvim/plugins/by-name/coq-thirdparty
History
Exact
Gaetan Lepage 342a6b6c73 plugins/coq-thirdparty: migrate to mkNeovimPlugin
2025-10-24 11:31:11 +00:00
..
default.nix plugins/coq-thirdparty: migrate to mkNeovimPlugin 2025-10-24 11:31:11 +00:00