TakeV/spacemacs
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
6871 commits 1 branch 0 tags 62 MiB
Commit graph

2 commits

Author SHA1 Message Date
Eivind Fonn
dbbdca7d5d Fix agda indentation and README 2016-08-17 20:20:20 +02:00
FreeSalad
5096202b6b Fix Agda layer for users without 'agda-mode' executable. 2016-08-17 20:13:01 +02:00