This repository has been archived by the owner on Sep 6, 2021. It is now read-only.
Skip dropped files that are already open#4447
Merged
njx merged 2 commits intomasterfrom glenn/issue-4429Jul 15, 2013
+12-1
Commits
Commits on Jul 13, 2013
Commits on Jul 15, 2013
- committed