Henrik Lissner 01666572d7 fix(lean): remove company-lean ...

company-lean was removed from MELPA. Since lean4 support is around the
corner and Doom has deprecated its support for Company, I'll simply
remove this package.

Ref: melpa/melpa@11196af312
Fix: #8159

2025-01-12 20:13:49 -05:00

127 B

Raw Blame History

View Raw