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 has been just hanging out not doing > anything for at least a year). -- Han-Wen Nienhuys - han...@xs4all.nl - http://www.xs4all.nl/~hanwen _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
