summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2016-10-12depends: replace gringo by clingoVincent Bernardoff
2015-06-27Initial importVincent Bernardoff