Fix folder deletion with VSCode#1821
Merged
filipw merged 12 commits intoOmniSharp:masterfrom Jun 6, 2020
Merged
Commits
Commits on Jun 5, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 6, 2020
- authored
- committed
- committed
- committed