Skip to content
GitLab
Explore
Sign in
Commit
c78fba62
authored
Jan 20, 2025
by
Jan Kiene
Browse files
use shutil.move instead of .rename
the latter can have problems when copying over filesystem borders, e.g. when using WSL
parent
32d41f38
Loading
Loading
Loading
Loading
Changes
1
Pipelines
1