awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-13 13:13:35 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
904ace43b65c934d0398e4735f599c277b216c46
doomemacs/modules/lang/coq/config.el
Henrik Lissner 8eb9cf5b30 lang/coq: setup company ourselves + minor refactor 
company-coq imposes its own value for company-idle-delay, potentially
overriding the user's customizations, so we set up company ourselves.
2019-10-21 09:01:49 -04:00

3.5 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink