diff options
author | Holger Levsen <holger@layer-acht.org> | 2014-10-29 15:56:02 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2014-10-29 15:56:02 +0100 |
commit | b35d3ff03cb529fee205ea72b1f3858630e0cbf0 (patch) | |
tree | 6ccf58219e7c6945877bac660933615963e44e3f /debian/source/format | |
parent | 9aca578d9debd7324f541e87825980d8d9352b35 (diff) | |
download | jenkins.debian.net-b35d3ff03cb529fee205ea72b1f3858630e0cbf0.tar.xz |
g-i-i: fix ping '-c 3' - I never thought pinging was that hard.
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions