Rename directory "mozilla/directory/tools/cvs"

RESOLVED FIXED

Status

mozilla.org
CVS: Copy
RESOLVED FIXED
13 years ago
12 years ago

People

(Reporter: timeless, Assigned: justdave)

Tracking

Details

(URL)

(Reporter)

Description

13 years ago
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).

Comment 1

13 years ago
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

Comment 2

13 years ago
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

Comment 4

12 years ago
ETA on some action on these is 4/28.

Comment 5

12 years ago
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
Done.
Status: ASSIGNED → RESOLVED
Last Resolved: 12 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.