Commit graph

3 commits

Author SHA1 Message Date
kaetemi
2065a57993 Remove duplicate tool 2014-02-07 02:17:42 +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