[DOCS-2] file names in git differ only in capitalization Created: 30/Sep/14 Updated: 19/Oct/17 Resolved: 23/Jun/15 |
|
| Status: | Resolved |
| Project: | docs |
| Component/s: | General |
| Affects Version/s: | unspecified |
| Fix Version/s: | None |
| Type: | Bug | ||
| Reporter: | Colin Dixon | Assignee: | Unassigned |
| Resolution: | Done | Votes: | 0 |
| Labels: | None | ||
| Remaining Estimate: | Not Specified | ||
| Time Spent: | Not Specified | ||
| Original Estimate: | Not Specified | ||
| Environment: |
Operating System: All |
||
| External issue ID: | 2119 |
| Description |
|
This needs to be fixed as you can't work with it on a case-insensitive file system. Also it's just a horrible, horrible idea. |
| Comments |
| Comment by Thanh Ha (zxiiro) [ 07/Nov/14 ] |
|
I think this is fixed I don't see the issue on the 2 file sets with the latest master. |
| Comment by Colin Dixon [ 23/Jun/15 ] |
|
This is no longer the case. |