Rename directory named `aux`
mpilgrem opened this issue · comments
It is not possible to git clone this repository on Windows because it has used aux as the name of a directory. AUX is the name of a reserved device in Windows. See: https://learn.microsoft.com/en-us/windows/win32/fileio/naming-a-file