HomeIsabelle/Phabricator

Remove reference to "make compiler" from instructions. This is no longer…

Description

Remove reference to "make compiler" from instructions. This is no longer needed. See #174.

Details

Provenance
dcjmAuthored on Apr 26 2022, 6:06 PM
Parents
rPOLYML50ce3dd5a5f9: Fix segfault as a result of a call to INet6Sock.any. It was calling the IPv4…
Branches
Unknown
Tags
Unknown