improve reliability of use of musixtex fonts
make independent of the currently-chosen music font size, always use musix20, with the same name the official package has to avoid conflicts
Loading
Please register or sign in to comment
make independent of the currently-chosen music font size, always use musix20, with the same name the official package has to avoid conflicts