Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/core
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-11 06:43:52 +0200
committerErich Eckner <git@eckner.net>2020-05-11 06:43:52 +0200
commit9a9f9bf81c9fc73b7e5a90dbd289f70f4afba7ce (patch)
treeb222eeffcadb6da4d86c4cfaa1ab3f4ef5a3c129 /core
parentcd08038883b3024eb171802f133e11885ef213f5 (diff)
community/z3: patch was upstreamed (?)
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions