summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorPaul Waring <paul.waring@manchester.ac.uk>2015-04-23 14:00:49 (GMT)
committerPaul Waring <paul.waring@manchester.ac.uk>2015-04-23 14:00:49 (GMT)
commite1dc1d1374cbae7b2320169809c8d999461abf28 (patch)
tree5d5f311227b824aced6be8aea17d9de4b78ea474 /docs
parent50215b62c5b48fe4956e22549ebb09107584c1cd (diff)
Update fix for case sensitivity on Cygwin
Diffstat (limited to 'docs')
-rw-r--r--docs/B - Known issues.txt3
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/B - Known issues.txt b/docs/B - Known issues.txt
index b64fd95..1d2db19 100644
--- a/docs/B - Known issues.txt
+++ b/docs/B - Known issues.txt
@@ -87,8 +87,7 @@ Status:
DEPRECATED
Fix:
- Use "managed" mounts for the directories where you build *and* install your
- toolchains.
+ Change the registry value as per the instructions on the Cygwin website.
Workaround:
None.