Commit graph

3 commits

Author SHA1 Message Date
kaetemi
d3ccda4153 Let prim checker only open files with ig extension 2014-02-07 01:01:36 +01:00
kaetemi
bb2b967fdd Merge with default 2014-02-06 20:16:18 +01:00
kaetemi
8fd226d166 Build ligo outside the database 2013-07-27 04:03:05 +02:00