On Mon, 19 Nov 2001, William A. Rowe, Jr. wrote:

> Apparently fixed [someone appears to have beaten me to it.]

They've actually been gone for quite a long time.

> cvs co -P  usually takes care of these sorts of issues.

Yeah, that's probably it.

--Cliff

--------------------------------------------------------------
   Cliff Woolley
   [EMAIL PROTECTED]
   Charlottesville, VA


Reply via email to