Windows support #9523
Closed
CatherineGasnier
started this conversation in
General
Windows support
#9523
Replies: 1 comment
-
|
Follow-up: some of the Windows support code has been deleted allowing for substantial simplification of the code. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Who here uses
hhon Windows? Does it work? I see we have a bunch of code supporting Windows but part of it is fairly complicated (see e.g. timout.ml), and I'm very tempted to clean up that module (would help a fix I'm trying to make). We never test it internally, so we don't even know if it works. Let me know if you're opposed to me doing that clean upBeta Was this translation helpful? Give feedback.
All reactions