HomeIsabelle/Phabricator

ensure that at least an empty report file exists

Description

ensure that at least an empty report file exists

Details

Provenance
Lars Hupel <lars.hupel@mytum.de>Authored on
Parents
rAFP0c0f25783758: delete report file if already exists
Branches
Unknown
Tags
Unknown