On Wed, Apr 17, 2002 at 03:10:10PM -0700, Justin Erenkrantz wrote:
> Okay, so it seems we have consensus to move it.
> 
> Uh, how do we move it?
> 
> - Delete it and re-add them in the new directory
> - Move the .v files on icarus

If you move the ,v files you'll be messing with history, how about just
delete and add?

*cough*svn could probably do it*cough*

-aaron

Reply via email to