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