diff options
| author | Jakob Unterwurzacher | 2021-06-25 14:00:20 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2021-06-26 16:08:29 +0200 |
| commit | 389aba6a6b91f4bbf846caeb57ffdf177fd2cfdc (patch) | |
| tree | 3e66080f9f1d9a00c0e811cfb660f9a4af8158b9 /contrib/findholes | |
| parent | 84e702126ac4f017e12150532bfaed675dee2927 (diff) | |
maxlen.bash: suppress progress output if not on a terminal
Diffstat (limited to 'contrib/findholes')
0 files changed, 0 insertions, 0 deletions