Login
Z3 tests
Help: case-sensitive
☰
Home
Timeline
Branches
Tags
Login
Command-List
The "case-sensitive" setting:
If TRUE, the files whose names differ only in case are considered distinct. If FALSE files whose names differ only in case are the same file. Defaults to TRUE for unix and FALSE for Cygwin, Mac and Windows.