3 ms·

I wouldn't expect `make clean` to delete stuff it didn't create itself. This does though as it just executes `git clean -f`!