Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/build-support
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-09-27 20:32:51 +0200
committerErich Eckner <git@eckner.net>2017-09-27 20:32:51 +0200
commit3c69e8ca568a5fecf8cb493efb2365f47b558b9d (patch)
treef9a2df4a9435174c678e36e3946d700807633b2a /build-support
parentd6774c0d0287cb24313d10680a0db87c2976cb9a (diff)
community/clingo: fix patch
Diffstat (limited to 'build-support')
0 files changed, 0 insertions, 0 deletions