music-typesetting/.gitignore