Skip to content

[cmds] Fix rmdir -p#1643

Merged
ghaerr merged 1 commit intomasterfrom
rmdir2
Aug 9, 2023
Merged

[cmds] Fix rmdir -p#1643
ghaerr merged 1 commit intomasterfrom
rmdir2

Conversation

@ghaerr
Copy link
Owner

@ghaerr ghaerr commented Aug 9, 2023

Broken by previous PR adding -f.

@ghaerr ghaerr merged commit ae9e5d7 into ghaerr:master Aug 9, 2023
@ghaerr ghaerr deleted the rmdir2 branch August 16, 2023 15:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant