[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [XBoard-devel] Options and the manual
|
From: |
Arun Persaud |
|
Subject: |
Re: [XBoard-devel] Options and the manual |
|
Date: |
Thu, 05 Jan 2012 20:28:39 -0800 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111220 Thunderbird/9.0 |
Hi
On 01/05/2012 01:47 PM, Tim Mann wrote:
>
> [old options]
> Sure, let's get rid of those. I don't remember why I had both "-" and
> "x" prefixes to turn off boolean options. The "-" prefix seems like a
> bad idea.
should we add a section in the manual with deprecated items or have
xboard output a warning/error when those items are used? I would prefer
that instead of just deleting them.
ARUN