Stefan Schmidt 81f0364123 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.		2020-05-13 13:42:22 +02:00
default-profile	default-profile: remove recordings in old .rec format	2020-05-13 13:42:22 +02:00
.arcconfig	Add .arcconfig.	2015-06-04 10:55:53 +01:00