awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-15 13:23:42 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
a8ccd2d47a814aeb5bdcd43f1d7b854e2054ef85
doomemacs/modules/lang/coq/config.el
Henrik Lissner 61f69ca980 fix(coq): corfu integration 
Makes company-coq cooperate wtih Corfu without activating company-mode.
Needs more testing.
2025-04-30 03:10:15 -04:00

4.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink