diff options
author | Petter Reinholdtsen <pere@hungry.com> | 2013-01-31 00:09:13 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2013-01-31 10:49:32 +0100 |
commit | 86b258417d5f6b66c43297e70768f7e57e3622f8 (patch) | |
tree | 1cd352ca3fabf83f0e2287995d05fcff232b13fe /bin/webcheck_url.sh | |
parent | 129cd7ee3a8969ba3b8c44e2638c138cb2131937 (diff) | |
download | jenkins.debian.net-86b258417d5f6b66c43297e70768f7e57e3622f8.tar.xz |
Do not set priority=critical for Debian Edu.
Diffstat (limited to 'bin/webcheck_url.sh')
0 files changed, 0 insertions, 0 deletions