[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: options.el obsolete?
From: |
Eli Zaretskii |
Subject: |
Re: options.el obsolete? |
Date: |
Thu, 11 Jul 2002 16:47:54 +0300 (IDT) |
On Thu, 11 Jul 2002, Juanma Barranquero wrote:
> 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.
The CVS manual describes how to do this (it's more or less like you
thought it is).