mirrors/doomemacs
1
Fork 0
mirror of https://github.com/doomemacs/doomemacs.git synced 2026-01-04 08:11:44 -08:00
Code Issues Projects Releases Wiki Activity
10097 commits 3 branches 14 tags 45 MiB
Commit graph

1 commit

Author SHA1 Message Date
Patrick Elliott
b3a83daf5f
Added basic agda support. 2018-08-21 12:46:29 +02:00