corfu-doc is now merged into corfu as extension corfu-popinfo

This commit is contained in:
Andrea Ciceri 2023-07-08 19:02:32 +02:00
parent 9699ce1825
commit e381f49dbe
Signed by: aciceri
SSH key fingerprint: SHA256:/AagBweyV4Hlfg9u092n8hbHwD5fcB6A3qhDiDA65Rg

View file

@ -20,7 +20,7 @@ with epkgs; [
diff-hl diff-hl
corfu corfu
corfu-terminal corfu-terminal
corfu-doc # corfu-doc
kind-icon kind-icon
cape cape
which-key which-key