summaryrefslogtreecommitdiff
path: root/community/clingo
AgeCommit message (Expand)Author
2017-08-25community/cringo: fixed building with g++ instead of clang++Andreas Baumann