diff options
-rw-r--r-- | development/tools/README.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/development/tools/README.md b/development/tools/README.md new file mode 100644 index 000000000000..a6c89075bb13 --- /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. + |