diff options
| author | Devin J. Pohly <djpohly@gmail.com> | 2022-02-15 14:04:25 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-15 14:04:25 -0600 |
| commit | a15cb1e20e165caf936319f9cdfb86f57effdfa6 (patch) | |
| tree | 5ea202ad21bdaad559d785eb9c230bec09573975 /.gitignore | |
| parent | bda7b311745d0fb515f345e47b5e54b04a77cfc9 (diff) | |
| parent | ebfefa84bad5a930df4df85b150c27f1d4fe6de6 (diff) | |
Merge pull request #160 from Humm42/closepipes
-s: close unused fds
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions