HomePhabricator

added directory-entry in ROOT file of VerifyThis2019 (when merging from AFP…

Description

added directory-entry in ROOT file of VerifyThis2019 (when merging from AFP 2019)

Details

Committed
Rene Thiemann <rene.thiemann@uibk.ac.at>Mon, Dec 2, 1:09 PM
Parents
rAFPe10739c4e48f: merge from AFP 2019
Branches
Unknown
Tags
Unknown