HomeIsabelle/Phabricator

removed unneeded traces

Description

removed unneeded traces

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFP35132c29d428: generalized acceptance test
Branches
Unknown
Tags
Unknown

Event Timeline