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
0cee8b4beee85d90f93e39c2979e5888fb922571
doomemacs/modules/lang/coq/config.el
Tej Chajed 80b2071670 fix(coq): disable spinner by default 
This was disabled upstream in
7423ee2539
due to a serious performance impact on some systems (even if the spinner
isn't visible in the modeline).
2021-09-11 18:47:47 +02:00

3.1 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink