diff --git a/tools/README b/tools/README new file mode 100644 index 000000000..734da66df --- /dev/null +++ b/tools/README @@ -0,0 +1 @@ +Tools and scripts used during development.