mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 22:43:50 +01:00
Merge pull request #36 from authmillenon/master
Use rm -rf instead of rmdir
This commit is contained in:
commit
4e13e61052
Use rm -rf instead of rmdir