[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Change default MIDI file extension to '.mid'
|
From: |
Trevor Daniels |
|
Subject: |
Re: Change default MIDI file extension to '.mid' |
|
Date: |
Mon, 5 Jan 2015 15:25:34 -0000 |
Phil Holmes wrote Monday, January 05, 2015 2:35 PM
> From: "Davide Liessi" <address@hidden>
>
>> I think that LilyPond should use the most widely accepted '.mid' as
>> default extension for the MIDI files it produces, instead of current
>> '.midi'.
>
> This is the default on my Windows Vista PC system. Don't know why, but
> that's what appears when I create midi output.
The default MIDI file extension used to be .midi on all platforms, but
it was changed to .mid for Windows systems only in 2.11.60,
released in Sep 2008. See committish
2e740abdcd601e8d2148a35d48bd3c8ca5acfc99
Trevor