diff options
author | Xavier Ducrohet <xav@android.com> | 2011-08-02 18:11:27 -0700 |
---|---|---|
committer | Xavier Ducrohet <xav@android.com> | 2011-08-02 18:11:27 -0700 |
commit | dbf55e9566179fe53f4cfe617785a5bd86c26e76 (patch) | |
tree | 255c35b00f8aad8e4010b3845c193fd8882b49b9 | |
parent | 488e22bba4977d9617675925e08930476960c11c (diff) | |
download | platform_sdk-dbf55e9566179fe53f4cfe617785a5bd86c26e76.tar.gz platform_sdk-dbf55e9566179fe53f4cfe617785a5bd86c26e76.tar.bz2 platform_sdk-dbf55e9566179fe53f4cfe617785a5bd86c26e76.zip |
Update tools to r13
Change-Id: If3f37a98f3ebba30087672f251ba72bf2b00e497
-rw-r--r-- | files/tools_source.properties | 4 |
1 files changed, 2 insertions, 2 deletions
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 |