-
Tobias Hunger authored
Change the mapping of repository name to checkout directory name. This should now work better with windows.
Tobias Hunger authoredChange the mapping of repository name to checkout directory name. This should now work better with windows.