HomeIsabelle/Phabricator

Use D format for code using the old format.

Description

Use D format for code using the old format.

Details

Provenance
dcjmAuthored on Nov 5 2020, 1:21 PM
Parents
rPOLYMLff5644635c7e: Merge branch 'master' into OriginalBoot
Branches
Unknown
Tags
Unknown