diff options
| author | Jonas Schievink <[email protected]> | 2020-12-04 13:03:06 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-12-04 13:03:06 +0000 |
| commit | b85714972081ac7d19d98008b7466d37f6d38432 (patch) | |
| tree | cea2580dd236403e6dbf3f6d9a9a69322f06275c /editors/code/.gitignore | |
| parent | 2845ce5bc6d8bd2cadaf0acb3afc3d4e10c76fab (diff) | |
Unwrap `process.stdio()` result
If this is ever `None` here, that's a bug
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions