'aux' is a reserved name in Windows's filesystem (a remnant from DOS) making it impossible to clone this repository:
git restore --source=HEAD :/
error: invalid path 'source/rk/tautodiff/aux/activation.d'
error: invalid path 'source/rk/tautodiff/aux/chainsolver.d'
error: invalid path 'source/rk/tautodiff/aux/tape.d'
Could you please rename it to something else?
'aux' is a reserved name in Windows's filesystem (a remnant from DOS) making it impossible to clone this repository:
Could you please rename it to something else?