diff options
author | Paul Waring <paul.waring@manchester.ac.uk> | 2015-04-23 13:00:53 (GMT) |
---|---|---|
committer | Paul Waring <paul.waring@manchester.ac.uk> | 2015-04-23 13:00:53 (GMT) |
commit | 50215b62c5b48fe4956e22549ebb09107584c1cd (patch) | |
tree | 6337902c46af55cb25c6a943a1fa750313119c12 /samples/mips-ar2315-linux-gnu/crosstool.config | |
parent | 00edcaf3a788360479c32e2ecf7a288a186a2fb2 (diff) |
Update case-sensitivity information for Cygwin
Cygwin no longer supports managed mounts, enabling case-sensitivity in Cygwin requires changing the registry.
FAQ number has also changed.
Diffstat (limited to 'samples/mips-ar2315-linux-gnu/crosstool.config')
0 files changed, 0 insertions, 0 deletions