Hi list. Is there a way to change the size of the double percent repeat sign? I tried
\ override DoublePercentRepeat #'font-size = #4 but noticed no changes.
_______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
