[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: address@hidden: documentation bug: customization type `option']
From: |
Richard Stallman |
Subject: |
Re: address@hidden: documentation bug: customization type `option'] |
Date: |
Sat, 10 Jul 2004 03:31:30 -0400 |
> The reason is that the name `lazy' is not suitable for its meaning.
> I want the name to be changed before we document it.
'lazy' was the name you suggested.
Sorry, I remembered I had asked you to change the name,
but didn't remember that you'd already done so.
Ok, let's add the documentation.
- Re: address@hidden: documentation bug: customization type `option'], (continued)