summaryrefslogtreecommitdiff
path: root/core
diff options
context:
space:
mode:
authordeep-42-thought <github@eckner.net>2017-08-27 21:17:46 +0200
committerGitHub <noreply@github.com>2017-08-27 21:17:46 +0200
commit4120aefd67048ed2e5bce7caf43e83d88a8165f1 (patch)
tree0defe81841bb09aab0c072b3dbadd91a072b14ab /core
parentc2efa38e45a3916b6c702b79cc553260e8b7273e (diff)
parentaaa6b6d13d4322067b3baf53676e5c7656844058 (diff)
downloadpackages-4120aefd67048ed2e5bce7caf43e83d88a8165f1.tar.xz
Merge pull request #3 from andreasbaumann/clingo
community/cringo: fixed building with upstream patch
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions