Commit graph

3 commits

Author SHA1 Message Date
kaetemi
12e35ccad8 Update default paths 2014-02-06 20:31:43 +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