Fix `dotr` on Windows: use the right path separator.#4858

Merged

allanrenucci merged 1 commit intoscala:masterfrom

dotty-staging:dotr-on-windows

Jul 28, 2018

Commits on Jul 28, 2018

Fix `dotr` on Windows: use the right path separator.
sjrd
committed