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 <[email protected]> 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 - [email protected] - http://www.xs4all.nl/~hanwen _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
