There's still a directory named cvs which isn't nice to case insensitive file systems (including OSX in most modes and windows in most modes).
This can be renamed without disrupting anyone (as far as I know, the files under mozilla/directory/tools are not used as part of anyone's build process, etc.). One suggested new name for mozilla/directory/tools/cvs: mozilla/directory/tools/cvstools
brendan: I will rename the directory below to "cvstools" if you agree that's the right thing to do.
If I were jwz, I'd argue for cvs-tools. Dunno how terry got away with webtools. You can call it anything you want but late for dinner ;-). /be
ETA on some action on these is 4/28.
Justdave will take care of these cvs moves during the scheduled CVS server outage the evening of 4 May.
Assignee: cvs-moves → justdave
Status: NEW → ASSIGNED
Status: ASSIGNED → RESOLVED
Last Resolved: 13 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.