awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-17 13:33:36 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
641d4a1b71d23998fc9042cb8a93f3aa3e0da73f
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