From: Xavier Ducrohet <xav@android.com>
Date: Wed, 3 Aug 2011 01:11:27 +0000 (-0700)
Subject: Update tools to r13
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=dbf55e9566179fe53f4cfe617785a5bd86c26e76;p=android-x86%2Fsdk.git

Update tools to r13

Change-Id: If3f37a98f3ebba30087672f251ba72bf2b00e497
---

diff --git a/files/tools_source.properties b/files/tools_source.properties
index 7ed99d29c..e4fc81c7a 100644
--- 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