Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/buildmaster/execution-times.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-11-22 14:13:20 +0100
committerErich Eckner <git@eckner.net>2019-11-22 14:13:20 +0100
commit3af2f7695baea8fff44455987d15f950217e4bc4 (patch)
tree4740c67981c9f10dfb3ec5b0d7d9e889fe85860d /buildmaster/execution-times.php
parentbf9d8b1e6cadf95b7c3ebc45767a55e6c197914f (diff)
lib/helper.php: use site_is_reachable() instead of copying code
Diffstat (limited to 'buildmaster/execution-times.php')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.