[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).

reply via email to

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