dart-lang/chromedeveditor — pull request #3673 by devoncarew (2014-11-03 17:52:01+00:00)
Title: don't delete windows junction point dirs

Fix for https://github.com/dart-lang/chromedeveditor/issues/3669.

@keertip

Will file a chrome bug as well.