[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.
Juanma
- Re: Rename `mini-' options, (continued)
- Re: Rename `mini-' options, Deniz Dogan, 2009/05/15
- RE: Rename `mini-' options, Davis Herring, 2009/05/15
- RE: Rename `mini-' options, Drew Adams, 2009/05/15
- Re: Rename `mini-' options, Juanma Barranquero, 2009/05/15
- RE: Rename `mini-' options, Drew Adams, 2009/05/15
- Re: Rename `mini-' options, Juanma Barranquero, 2009/05/15
- RE: Rename `mini-' options, Drew Adams, 2009/05/16
- Re: Rename `mini-' options, Eli Zaretskii, 2009/05/16
- RE: Rename `mini-' options, Drew Adams, 2009/05/16
- Re: Rename `mini-' options,
Juanma Barranquero <=
- Re: Rename `mini-' options, Stephen J. Turnbull, 2009/05/16
- Re: Rename `mini-' options, Miles Bader, 2009/05/16
- RE: Rename `mini-' options, Drew Adams, 2009/05/16
- Re: Rename `mini-' options, Miles Bader, 2009/05/16
- RE: Rename `mini-' options, Drew Adams, 2009/05/16
- Re: Rename `mini-' options, Miles Bader, 2009/05/16
- Re: Rename `mini-' options, Stephen J. Turnbull, 2009/05/16
- Re: Rename `mini-' options, Stefan Monnier, 2009/05/17