Closed He-Pin closed 3 months ago
Motivation: The current : will cause an issue when checkout on windows.
:
Modification: Rename the file name.
Result: Works fine on Windows when git clone
git clone
@lihaoyi Would you like to merge this? I'm using Windows 11 and : is not a valid path.
Motivation: The current
:
will cause an issue when checkout on windows.Modification: Rename the file name.
Result: Works fine on Windows when
git clone