diff --git a/development/misc/README b/development/tools/README similarity index 100% rename from development/misc/README rename to development/tools/README diff --git a/development/misc/count_lines_of_included_code.sh b/development/tools/count_lines_of_included_code.sh similarity index 100% rename from development/misc/count_lines_of_included_code.sh rename to development/tools/count_lines_of_included_code.sh diff --git a/development/misc/count_total_lines_of_compiled_code.sh b/development/tools/count_total_lines_of_compiled_code.sh similarity index 100% rename from development/misc/count_total_lines_of_compiled_code.sh rename to development/tools/count_total_lines_of_compiled_code.sh