[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dotcol_ variable in

From: Han-Wen Nienhuys
Subject: Re: dotcol_ variable in
Date: Mon, 22 Aug 2011 10:26:04 -0300

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 <address@hidden> 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 - address@hidden -

reply via email to

[Prev in Thread] Current Thread [Next in Thread]