diff --git a/development/tools/README.md b/development/tools/README.md new file mode 100644 index 00000000000..a6c89075bb1 --- /dev/null +++ b/development/tools/README.md @@ -0,0 +1,7 @@ +# development tools + +Various tools for software developers. This file will not contain a +comprehensive list of them. Every tool should have a README +explaining how to use it. If you find one that doesn't please let me +know. +