diff options
| author | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-09-24 00:39:48 +0200 |
|---|---|---|
| committer | Johannes Schauer Marin Rodrigues <josch@mister-muffin.de> | 2023-09-24 00:39:48 +0200 |
| commit | 73a4050552c2f2c620362beb6f9fd7ca86b9377c (patch) | |
| tree | eabd42a2b60525f93187ca0c9242c052eb4203cc /debian | |
| parent | 88afd5041a1739be866f0b0de7814ff505507147 (diff) | |
| download | debvm-73a4050552c2f2c620362beb6f9fd7ca86b9377c.tar.gz | |
bin/debvm-waitssh: make --timeout=N work
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions