awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-31 14:43:40 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
35b9abd23032a772fe92f04808eabf604c87c0ae
doomemacs/modules/lang/coq/config.el
Henrik Lissner 22ae9cca15 lang/coq: tab-width = proof-indent
2019-10-19 04:00:27 -04:00

3.2 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink