Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/clingo
diff options
context:
space:
mode:
authordeep-42-thought <github@eckner.net>2017-08-21 10:04:50 +0200
committerGitHub <noreply@github.com>2017-08-21 10:04:50 +0200
commitb3f029001af47e8562ae892bb9190cfb1675c557 (patch)
tree6d141db880db78fe08aaba9c7c3920cd4b0cfe6e /community/clingo
parent38304314bca522dc634bad7d7b7ecfd2a67ee14e (diff)
parenta84c949e3759598fcd1b4c3dac5dd20a2db5df4b (diff)
Merge pull request #2 from andreasbaumann/dietlibc
community/dietlibc: define socketcall in PIC case too
Diffstat (limited to 'community/clingo')
0 files changed, 0 insertions, 0 deletions