[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: make info on w32

From: Juanma Barranquero
Subject: Re: make info on w32
Date: Tue, 2 Aug 2005 12:28:21 +0200

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]