chrislu 69a2e503ab non-recursive directory deletion ...

fix a problem during git checkout a different version, where updated directories are deleted even though the directory is not empty.

2022-06-20 13:18:08 -07:00

3.0 KiB

Raw Blame History

View Raw