Commit graph

3 commits

Author SHA1 Message Date
kaetemi
fbe953a6df Ignore pipeline files 2014-02-06 21:43:20 +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