Austin Horstman f88402d5a7 plugins/coq-thirdparty: remove copilot ... Pulled functionality into main		2024-09-15 10:22:23 -05:00
..
default.nix	plugins/coq-thirdparty: remove copilot	2024-09-15 10:22:23 -05:00