Change default file extension to MID

This commit is contained in:
2025-08-04 16:07:38 +02:00
parent ecbce807e5
commit 774b220f98