Update tools to r13

Change-Id: If3f37a98f3ebba30087672f251ba72bf2b00e497

diff --git a/files/tools_source.properties b/files/tools_source.properties
index 7ed99d2..e4fc81c 100644 (file)
--- a/files/tools_source.properties
+++ b/files/tools_source.properties
@@ -1,3 +1,3 @@
 Pkg.UserSrc=false
-Pkg.Revision=12
-Platform.MinPlatformToolsRev=3
+Pkg.Revision=13
+Platform.MinPlatformToolsRev=7