diff options
author | Gabriele Giacone <1o5g4r8o@gmail.com> | 2014-04-21 01:39:35 +0200 |
---|---|---|
committer | Gabriele Giacone <1o5g4r8o@gmail.com> | 2014-04-21 01:39:35 +0200 |
commit | 67619a30dc16d2a457bfdd26f149ba00cd5dd85f (patch) | |
tree | b52055a14ce3bd1302d47c98647e1c7b9033dbe2 /bin/webcheck_url.sh | |
parent | d554917ea1d452077297ae20a8af1dd2fb79bcd5 (diff) | |
download | jenkins.debian.net-67619a30dc16d2a457bfdd26f149ba00cd5dd85f.tar.xz |
[hurd] Use host cpu, trying to make it faster.
Diffstat (limited to 'bin/webcheck_url.sh')
0 files changed, 0 insertions, 0 deletions