> > After a bit of self-education on the CVS FAQ, I've come to the > > conclusion that "renaming" (delete/add) PLATFORMS to PLATFORMS.txt is > > the best way to solve this. > > Better it get fixed in CVS. There could be more errors of this kind.
Confused. What would you like me to do? Also. cvs update -dP should work just fine for this. at least it does for me. Unless -P doesn't work properly on case-insensitive filesystems. -R
