jhunter at acm.org
Tue Jul 11 11:08:41 PDT 2000
> I noticed that was still there the other night. Brett/Jason shall I get
> rid of this directory from the jdom module ?
But does a "cvs update -dP" not remove the directory? That's a magic
command to use whenever CVS gets confused about directories. -d says to
build new ones as needed, -P says to prune away dead ones. Don't ask me
why CVS doesn't do this by default.
More information about the jdom-interest