Hi, some time ago the default midi extension for windows was changed to "mid". How can change it back to "midi"?
thanks, Thomas _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user
