diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2023-01-12 09:24:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-12 09:24:47 +0100 |
commit | 0e4e782ada0bdd4ef19415f82a6373e2d79f7ecc (patch) | |
tree | fb8297949960789c8d9308f27d08db44f11f728d /thirdparty/zlib | |
parent | dd1b3ff0890b8dfc73977cfc874a9c741e13c388 (diff) | |
parent | 86b8176864f1d9450855264bf7783467fd7b71d7 (diff) |
Merge pull request #70714 from Calinou/doc-os-stdin
Improve documentation for `OS.read_string_from_stdin()`
Diffstat (limited to 'thirdparty/zlib')
0 files changed, 0 insertions, 0 deletions