On Windows, make maybe_dir(true) disable deletion and renaming.#277
Merged
sunfishcode merged 2 commits intomainfrom Sep 29, 2022
Merged
On Windows, make maybe_dir(true) disable deletion and renaming.#277sunfishcode merged 2 commits intomainfrom
maybe_dir(true) disable deletion and renaming.#277sunfishcode merged 2 commits intomainfrom