diff --git a/tools/tools/README b/tools/tools/README new file mode 100644 index 000000000000..5d7c68d8d407 --- /dev/null +++ b/tools/tools/README @@ -0,0 +1,6 @@ +This directory is for tools. + +A tool is something which is sometimes useful, and doesn't fit any of the +other categories. + +Please make a subdir per program, and add a brief description to this file.