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
fe68c654c095afc8fb3339d4b8fbed91e75085d3
doomemacs/modules/lang/coq/config.el
Henrik Lissner 169f9a6121 General, minor refactor & reformatting
2020-03-27 01:25:30 -04:00

3.1 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink