|
| From: | Richard Stallman |
| Subject: | Re: address@hidden: documentation bug: customization type `option'] |
| Date: | Thu, 08 Jul 2004 19:18:15 -0400 |
> lazy
I wrote documentation for this, but it was apparently never checked
in. See below.
The reason is that the name `lazy' is not suitable for its meaning.
I want the name to be changed before we document it.
| [Prev in Thread] | Current Thread | [Next in Thread] |