HomePhabricator

default-profile: remove recordings in old .rec format

Authored by stefan_schmidt on Wed, Mar 25, 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