awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-21 13:53:38 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
311ad23fd410f976f66c40f98e26aa7ee2dda8c3
doomemacs/modules/lang/coq/config.el
Henrik Lissner 7533707e00 fix(coq): file-missing generic/proof-site error 
To work around shenanigans in proof-general's autoloads. Should be
reverted once ProofGeneral/PG#771 is resolved.

Fix: #8169
Ref: ProofGeneral/PG#771
2024-11-19 04:40:42 -05:00

3.5 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink