[Top][All Lists]

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

Re: Rename `mini-' options

From: Juanma Barranquero
Subject: Re: Rename `mini-' options
Date: Sat, 16 May 2009 21:47:01 +0200

On Sat, May 16, 2009 at 06:20, Drew Adams <address@hidden> wrote:

> I made a simple proposal to rename a couple of options. You apparently just 
> want
> to argue in circles about what I said or didn't say.

Miles and Eli have already explained why you were wrong. If
disagreeing with you when you strongly defend mistakes is arguing in
circles, so be it.


reply via email to

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