HomePhabricator

default-profile: remove recordings in old .rec format

Authored by stefan_schmidt on Mar 25 2020, 8:44 AM.

Description

default-profile: remove recordings in old .rec format

We have switched over to the exu format 1.5 years ago. No need to keep
the old recordings around any longer.

Details

Committed
stefan_schmidtMar 25 2020, 8:44 AM
Parents
rTEXACTELMc768b2707671: mobile-profile: remove old and unused mobile profile scenarios
Branches
Unknown
Tags
Unknown