2 commits

Author	SHA1	Message	Date
Austin Horstman	f88402d5a7	plugins/coq-thirdparty: remove copilot ... Pulled functionality into main	2024-09-15 10:22:23 -05:00
Matt Sturgeon	ad85cd760e	plugins/completion: move to by-name ... - Move nvim-cmp to plugins/cmp - Move other completion plugins to plugins/by-name	2024-09-09 11:50:40 +01:00

Renamed from plugins/completion/coq-thirdparty.nix (Browse further)