HomeIsabelle/Phabricator

removed unneeded traces

Description

removed unneeded traces

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Thu, Jan 30, 10:49 PM
Parents
rAFP35132c29d428: generalized acceptance test
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP7b3db2da4005: removed unneeded traces.Thu, Jan 30, 10:49 PM