Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/devtools
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-06-16 07:52:42 +0200
committerErich Eckner <git@eckner.net>2019-06-16 07:52:42 +0200
commit0372e781508bbf5bfc0e502a100a5b59f7121878 (patch)
tree67c67968fdfdc24a4e4adc7c6e650a8f1af40a45 /extra/devtools
parent7e0677481fe8ff2127aaef62fc3f3a07f3fa6db0 (diff)
extra/libproxy: skip webkit3 on i486
Diffstat (limited to 'extra/devtools')
0 files changed, 0 insertions, 0 deletions