Make devel/cover clean up after itself.
[darkhttpd] / devel /
drwxr-xr-x   ..
-rwxr-xr-x 321 checker
-rwxr-xr-x 256 clang-warns
-rwxr-xr-x 783 cover
-rwxr-xr-x 11720 test.py
-rw-r--r-- 1548 test_make_safe_uri.c
-rwxr-xr-x 186 warns