Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/clingo
diff options
context:
space:
mode:
authorMichael Straube <straubem@gmx.de>2017-09-11 15:40:53 +0200
committerMichael Straube <straubem@gmx.de>2017-09-11 15:40:53 +0200
commit4aa40a5f8b5f5220a15a61cd9011db0c365aa828 (patch)
tree402797a94bbabf13e84a508a6ce5deeeec8ad4c2 /community/clingo
parent662cc8b70d1f03fb45308269cb519fdeb20becd6 (diff)
README.md: fix typo
Diffstat (limited to 'community/clingo')
0 files changed, 0 insertions, 0 deletions