Commit Graph

5 Commits

Author SHA1 Message Date
Chris Done
34d23b6e47 Update DevelMain 2016-06-08 14:22:16 +02:00
Michael Snoyman
435c65fff5 Fix DevelMain 2016-06-07 18:53:09 +03:00
Chris Done
a913a7dcd4 Restrict snapshots to fpcomplete-only 2014-07-21 12:41:32 +02:00
Chris Done
b3dcf31228 Fix DevelMain 2014-06-01 12:55:57 +02:00
Chris Done
141b98d3cc Add a DevelMain file for use in GHCi 2014-05-30 15:00:03 +02:00