HomeIsabelle/Phabricator

remove config files; superseded by metadata

Description

remove config files; superseded by metadata

Details

Committed
Lars Hupel <lars.hupel@mytum.de>May 24 2016, 1:27 PM
Parents
rAFPceaf14280f68: new entry Card_Equiv_Relations
Branches
Unknown
Tags
Unknown

Event Timeline