HomeIsabelle/Phabricator

remove config files; superseded by metadata

Description

remove config files; superseded by metadata

Details

Provenance
Lars Hupel <lars.hupel@mytum.de>Authored on
Parents
rAFPceaf14280f68: new entry Card_Equiv_Relations
Branches
Unknown
Tags
Unknown

Event Timeline