Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/core/autoconf
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/autoconf
parentc2efa38e45a3916b6c702b79cc553260e8b7273e (diff)
parentaaa6b6d13d4322067b3baf53676e5c7656844058 (diff)
Merge pull request #3 from andreasbaumann/clingo
community/cringo: fixed building with upstream patch
Diffstat (limited to 'core/autoconf')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.