diff options
| author | tv <tv@krebsco.de> | 2022-09-07 11:17:39 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2022-09-07 11:17:39 +0200 |
| commit | 6ee1d00b924e6187c7ee0f70b5a7d62be43b5853 (patch) | |
| tree | 6e0ee96291d587d756be5e6d404d5172d50aa4a1 /lib/types | |
| parent | 625bd446dd7238c5226dc90c89bdfa4ee5c13688 (diff) | |
runShell: admit non-posix-compatible shells
Diffstat (limited to 'lib/types')
0 files changed, 0 insertions, 0 deletions