Hi,
The thread went into another direction, so I'll reepeat my question:
Is there any difference between
\header {
tagline = ""
}
and
\header {
tagline = ##f
}
?
Maybe the first example takes vertical space on a page, the second
doesn't?
-- MT
_______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
