"Juanma Barranquero" <lekktu@gmail.com> writes:

> On 1/3/07, Michaėl Cadilhac <michael@cadilhac.name> wrote:
>
>> So let's consider hiding this star in C-h v, like I proposed earlier,
>> nop ?
>
> That's easy enough, see the attached patch

« Same goals, different tactics :-) ». I used substring :-)

> (but I have no opinion on whether that's desirable right now or
> not).

And what about an opinion on the rest of the patch I proposed in
Message-ID: <877iw4pdyo.fsf@lrde.org> ?

I'm a little confused about that difference between what is a user
variable in the doc and what it is regarding user-variable-p. Maybe
a doc change is also necessary.

-- 
 |      Michaėl `Micha' Cadilhac     |  Mieux vaut se taire                   |
 |         Epita/LRDE Promo 2007     |   Que de parler trop fort.             |
 |  http://michael.cadilhac.name     |           -- As de trčfle              |
 `--JID: michael.cadilhac@gmail.com--'                                   -  --'