[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: remove --bignum from 'factor'
|
From: |
Pádraig Brady |
|
Subject: |
Re: remove --bignum from 'factor' |
|
Date: |
Fri, 24 Oct 2008 23:09:51 +0100 |
|
User-agent: |
Thunderbird 2.0.0.6 (X11/20071008) |
Paul Eggert wrote:
> Here's a patch to remove the --bignum and --no-bignum options from
> 'factor'. The case for removing --bignum isn't as strong as that for
> 'expr', but still, it seems to me that these options are not needed and
> complicate the documentation unnecessarily.
>
>
> Remove --bignum and --no-bignum from 'factor'.
+1
In general there should be a very strong case
required for adding new options.