trevor, On 9 Apr 2009, at 09:41, Trevor Daniels wrote:
Thanks for this, but the text is not quite right. IIRC the default is .mid for Windows systems and .midi for all others. Could you please amend and resubmit to reflect this?It's also worth mentioning the equivalent command line option as Eluze suggested:
here's the new patch-set. i'm sorry, but i can't work out how to get git to give me one single patch for the three commits i made locally since checking out.
regards, sb -- Simon Bailey Oompa Loompa of Science +43 699 190 631 25
0001-Added-a-paragraph-documenting-the-method-for-changin.patch
Description: Binary data
0002-Also-added-information-about-MIDI-extension-to-the-g.patch
Description: Binary data
0003-Edited-as-requested-by-Trevor.patch
Description: Binary data
_______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user