[Top][All Lists]

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

Re: options.el obsolete?

From: Juanma Barranquero
Subject: Re: options.el obsolete?
Date: Thu, 11 Jul 2002 15:15:27 +0200

On Wed, 10 Jul 2002 13:20:36 -0600 (MDT), Richard Stallman <address@hidden> 

> Please do.

Don't know the right procedure with CVS. I suppose remove'ing it from
one directory and add'ing it to the other and commiting would suffice,
but I prefer for a more knowledgeable CVS user to do it.


reply via email to

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