[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>
wrote:
> 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.
/L/e/k/t/u