HomePhabricator

Set file extension to fix "No MIDI file generated" error on Windows

Authored by gnosygnu on Jul 17 2014, 3:15 AM.