On Wed, Jul 31, 2002 at 16:34:18 +0200, Sven Guckes wrote:
> * Vincent Lefevre <[EMAIL PROTECTED]> [2002-07-30 13:30]:
> > And when it depends on the configuration,
> > the default value shouldn't be given, as it
> > may be wrong (this would confuse the user).
> 
> "it"?

the default value. If the default value given by the manual is not the
same as the real default value used by Mutt, it is very confusing.

> anyway..
> the default value should *always* be documented.

What do you mean by "documented"?

-- 
Vincent Lef�vre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100%
validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International
des Jeux Math�matiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA

Reply via email to