|
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] |