emenel/doomemacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
16820 commits 1 branch 0 tags 33 MiB
Commit graph

52 commits

Author SHA1 Message Date
Patrick Elliott
4280ea3418
Added readme. 2018-08-14 23:30:20 +02:00
Patrick Elliott
fa223ceafd
Added basic coq support 2018-08-14 23:21:55 +02:00