Commit Graph

2 Commits

Author SHA1 Message Date
~d6 548c3fc17f improve idris
--HG--
branch : pmacs2
2021-09-30 23:58:35 -04:00
Erik Osheim 153b203510 lots of assorted mode updates
--HG--
branch : pmacs2
2014-03-13 17:20:52 -04:00