Skip to content
Snippets Groups Projects
user avatar
Richard Hartmann authored
Use rm -r instead of rmdir as the directory will _never_ be empty
80ebb8dc
History
Name Last commit Last update