diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-01-28 08:30:01 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2022-01-28 08:30:01 +0200 |
| commit | 99a1e552acebef5db9794fbc17e7658acc660e64 (patch) | |
| tree | 14fdff01a2e97da8783b3d203baad2cd1b1a6b53 /thirdparty/embree | |
| parent | e6caaf4c800912517af783e90519cc2a70001e85 (diff) | |
[Windows] Disable console I/O redirection, if it's already redirected to the pipe or file.
Diffstat (limited to 'thirdparty/embree')
0 files changed, 0 insertions, 0 deletions