awesome-emacs/doomemacs
1
0
Fork 0
mirror of https://github.com/doomemacs/doomemacs synced 2025-08-09 12:57:25 -05:00
Code Issues Packages Projects Releases Wiki Activity
8,925 Commits 3 Branches 14 Tags
c399c07694c6ec6300b8b51e8c294a2a2000aa1d
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