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

3 commits

Author SHA1 Message Date
Patrick Elliott
fb5d1ae739
Remove (unmaintained) helm-idris package 2018-08-25 16:22:04 +02:00
Patrick Elliott
e64b8322a4
Added helm-idris 2018-08-25 15:35:06 +02:00
Patrick Elliott
a2c1a62cd6
Add basic idris support 2018-08-21 13:35:58 +02:00