HomeIsabelle/Phabricator

Use config.h for the Windows osmem if it is provided e.g. by Msys.

Description

Use config.h for the Windows osmem if it is provided e.g. by Msys.

Details

Provenance
dcjmAuthored on Aug 11 2020, 3:09 PM
Parents
rPOLYMLb95a85ead3ae: Remake Makefile.in after merge.
Branches
Unknown
Tags
Unknown