Gaetan Lepage 342a6b6c73 plugins/coq-thirdparty: migrate to mkNeovimPlugin		2025-10-24 11:31:11 +00:00
..
default.nix	flake/dev: use nix-shell shebangs for scripts	2025-06-28 17:44:20 +00:00
list-plugins.py	plugins/coq-thirdparty: migrate to mkNeovimPlugin	2025-10-24 11:31:11 +00:00