diff options
| author | kaizhangNV <149626564+kaizhangNV@users.noreply.github.com> | 2024-09-03 15:02:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-09-03 13:02:48 -0700 |
| commit | 1673cf934b0871a6dd3b552a80913a5737fa3f61 (patch) | |
| tree | c45d1431999abe32339922affda609ce33f7e78b /.github | |
| parent | 45e0eee31fb2e658f7e04771802cc18eb0b4e978 (diff) | |
Add Path::removeNonEmpty() to remove non-empty dir (#4984)
We've implemented a function in slang-record-replay unit test
to remove the non-empty directory, now move this function into
slang `Path` namespace to make this function as an utility.
Close issue #4916
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions