> dirX/ : exists but is empty > (I simply haven't found a way to delete a CVS-directory > entry!!??).
Log onto the CVS server and do a "rmdir". cvs update -P should work then. -- When others do a foolish thing, you should tell them it is a foolish thing. They can still continue to do it, but at least the truth is where it needs to be. - Dukat "Babylon 5" _______________________________________________ Info-cvs mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/info-cvs
