Help: case-sensitive
the (unofficial) 'Genode Book'
Not logged in
Home
Timeline
Files
Branches
Tags
Tickets
Wiki
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.