[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: options.el obsolete?
From: |
Stefan Monnier |
Subject: |
Re: options.el obsolete? |
Date: |
Thu, 11 Jul 2002 12:54:55 -0400 |
> 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,
Yes.
> but I prefer for a more knowledgeable CVS user to do it.
Adding/removing doesn't require that much expertise.
I know you can do it!
Stefan
- Re: options.el obsolete?, (continued)