[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make info on w32
From: |
Eli Zaretskii |
Subject: |
Re: make info on w32 |
Date: |
Tue, 02 Aug 2005 23:33:53 +0300 |
> Date: Tue, 2 Aug 2005 12:28:21 +0200
> From: Juanma Barranquero <address@hidden>
> Cc: address@hidden
>
> On 7/30/05, Eli Zaretskii <address@hidden> wrote:
>
> > Done (including similar changes in lispref/ and lispintro/). Please
> > remove your info/dir file, fetch one from the CVS, and report any
> > unusual effects.
>
> Seems to be working just fine.
Thanks for testing.