Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/pool.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-07-08 13:20:51 +0200
committerErich Eckner <git@eckner.net>2019-07-08 13:20:51 +0200
commit9aa9fa833c3ea724beedb88de3099ab6c9234e23 (patch)
tree93c4decbdb1e6445c7e918525d3dca7e1c74dedf /pool.php
parentdd6498966b6f4fba0c23464554529aaebb0398f5 (diff)
buildmaster/build-log.php: use redirect_temporarily() from http.php for redirection
Diffstat (limited to 'pool.php')
0 files changed, 0 insertions, 0 deletions