Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allows non empty directories to be deleted #3107

Closed
wants to merge 5 commits into from

Conversation

kirit93
Copy link
Contributor

@kirit93 kirit93 commented Dec 4, 2017

Closes #2760

@kirit93 kirit93 changed the title Fixes #2760 Allows non empty directories to be deleted Dec 4, 2017
@kirit93 kirit93 closed this Dec 4, 2017
@minrk minrk added this to the Reference milestone Jun 15, 2018
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 31, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Allow deleting nonempty directorys
2 participants