Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/z3
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2022-01-16 19:28:31 +0100
committerAndreas Baumann <mail@andreasbaumann.cc>2022-01-16 19:28:31 +0100
commitec283181960cf3327ec518b4707a73a724492594 (patch)
tree783bcaf39bc858f47791055806441af0ae3b0453 /community/z3
parent7d47d737d3d1b6c0961a08d76a37a2af32b866d2 (diff)
core/python: reenable LTO/PDO and testing (kept bootstrapping version in disabled python-no-opt-no-check)
Diffstat (limited to 'community/z3')
0 files changed, 0 insertions, 0 deletions