This variable is unused - is it OK to get rid of it, or is someone planning on
building around it (I'm pretty sure it has been just hanging out not doing
anything for at least a year).
Cheers,
MS
___
lilypond-devel mailing list
lilypond-devel@gnu.org
Unused things can be thrown away. Period. If people need them, we
can resurrect them from the git logs.
On Mon, Aug 22, 2011 at 4:27 AM, Mike Solomon mike...@ufl.edu wrote:
This variable is unused - is it OK to get rid of it, or is someone planning
on building around it (I'm pretty sure it
