From e381f49dbe52e5c254ed8cd454f600bb7644fcec Mon Sep 17 00:00:00 2001 From: Andrea Ciceri Date: Sat, 8 Jul 2023 19:02:32 +0200 Subject: [PATCH] `corfu-doc` is now merged into `corfu` as extension `corfu-popinfo` --- packages/packages.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/packages.nix b/packages/packages.nix index e1ad9a2..4500f7e 100644 --- a/packages/packages.nix +++ b/packages/packages.nix @@ -20,7 +20,7 @@ with epkgs; [ diff-hl corfu corfu-terminal - corfu-doc + # corfu-doc kind-icon cape which-key