I think it would be nicer if we could find a word that wasn't a command
word ("modifications"? "adjustments" ? "customizations"?) but I agree
that in this case "override" is better than "tweak".https://codereview.appspot.com/8575044/ _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
