Clean up and improve the devel/ scripts.
[darkhttpd] / devel /
drwxr-xr-x   ..
-rwxr-xr-x 321 checker
-rwxr-xr-x 226 clang-warns
-rwxr-xr-x 690 cover
-rwxr-xr-x 11720 test.py
-rw-r--r-- 1548 test_make_safe_uri.c
-rwxr-xr-x 186 warns