max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/lean/Process.lean.expected.out
Wojciech Nawrocki b1e6edefde fix: redirect child I/O to null on Process.Stdio.null 
And don't use errno for Win32 API errors.
2020-11-27 13:17:32 -08:00

11 lines
72 B
Text
Raw Blame History

hi!
1
0
"ho!\n"
"hu!\n"
flush of broken pipe failed
100001
100000
0
0
0
Reference in a new issue View git blame Copy permalink