plugins/coq-thirdparty: remove copilot

khaneliman · khaneliman · commit f88402d5a708 · 2024-09-15T10:22:23.000-05:00
Pulled functionality into main
diff --git a/plugins/by-name/coq-thirdparty/default.nix b/plugins/by-name/coq-thirdparty/default.nix
@@ -57,11 +57,6 @@ in
           src = "vimtex";
           short_name = "vTEX";
         }
-        {
-          src = "copilot";
-          short_name = "COP";
-          accept_key = "<c-f>";
-        }
         { src = "demo"; }
       ];
     };
diff --git a/tests/test-sources/plugins/by-name/coq-thirdparty/default.nix b/tests/test-sources/plugins/by-name/coq-thirdparty/default.nix
@@ -17,11 +17,6 @@
           src = "vimtex";
           short_name = "vTEX";
         }
-        {
-          src = "copilot";
-          short_name = "COP";
-          accept_key = "<c-f>";
-        }
         { src = "demo"; }
       ];
     };
