chiark / gitweb /
sewing-table: Machine_Profile: remove obsolete profile settings