Browse Source
fix a problem during git checkout a different version, where updated directories are deleted even though the directory is not empty.pull/3210/head
chrislu
3 years ago
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue