Clone of official tools

Revision:
13:ab47a20b66f0
diff -r f2e8a005c7d3 -r ab47a20b66f0 .mbedignore
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.mbedignore	Thu Jul 14 20:21:19 2016 +0100
@@ -0,0 +1,1 @@
+*
\ No newline at end of file