nix-community/nixvim
1
0
Fork 0
mirror of https://github.com/nix-community/nixvim.git synced 2025-11-08 19:46:06 +01:00
Code Activity

plugins/coq-thirdparty: migrate to mkNeovimPlugin

Browse source
This commit is contained in:
Gaetan Lepage 2025-10-23 10:26:03 +02:00 • committed by Gaétan Lepage
parent ecb75f49d1
commit 342a6b6c73
3 changed files with 30 additions and 71 deletions
Download patch file Download diff file Expand all files Collapse all files

4
flake/dev/list-plugins/list-plugins.py
View file

@ -69,9 +69,7 @@ KNOWN_PATHS: dict[
Kind, # Vim / Neovim / misc
bool, # Has deprecation warnings
],
] = {
"plugins/by-name/coq-thirdparty/default.nix": (State.OLD, Kind.NEOVIM, False),
}
] = {}
for telescope_extension_name, has_depr_warnings in {
"advanced-git-search": False,
"file-browser": True,