HomeIsabelle/Phabricator

make AFP ROOTS globally available for component

Description

make AFP ROOTS globally available for component

Details

Provenance
kleingAuthored on
Parents
rAFP772899cc7640: merged
Branches
Unknown
Tags
Unknown