HomeIsabelle/Phabricator

Rebuild bootstrap file with Unix directory separators.

Description

Rebuild bootstrap file with Unix directory separators.

Details

Provenance
dcjmAuthored on Oct 28 2020, 8:22 PM
Parents
rPOLYMLd5ffa7fa639d: Fixes for Unix.
Branches
Unknown
Tags
Unknown