HomeIsabelle/Phabricator

Don't build the UnixSock structure on Windows.

Description

Don't build the UnixSock structure on Windows.

Details

Provenance
dcjmAuthored on Tue, Oct 13, 12:35 PM
Parents
rPOLYML4c6a1079c698: Revert accidental inclusion of project file in last commit.
Branches
Unknown
Tags
Unknown