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-15 14:25:33 +0200
committerErich Eckner <git@eckner.net>2019-07-15 14:25:33 +0200
commit7fecce071cea4c660e30b1e1c845c3459ee082ce (patch)
treec1f9ff1b1c954799da288ae54527740705013fd3 /pool.php
parente7e84cd2fa4ca829b4684135addcb0be78748eab (diff)
buildmaster/log.php: print duration and exit_code for ssh_log, too (and colorize according to exit_code)
Diffstat (limited to 'pool.php')
0 files changed, 0 insertions, 0 deletions