CVS commit

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 17 Sep 2001 13:29:52 -0400 (EDT)


> > Oh -- the problem might be that the CVS directory was in that .tgz.  And
> > none of my revision numbers got incremented.
> 
> That makes sense.  I'll delete your CVS directories in the future.

I'll also try to prune them from the .tgz's.  It's not so bad when it's
individual files, but if I'm grabbing a while directory (and sub
directories), it's more problematic.