diff options
author | Xavier Ducrohet <xav@android.com> | 2011-06-21 13:23:51 -0700 |
---|---|---|
committer | Xavier Ducrohet <xav@android.com> | 2011-06-21 13:23:51 -0700 |
commit | 9b205d7f8cb7c0c23b1c6c212d83cb614e5342b4 (patch) | |
tree | 3c45061cd60cd1b60dcdd067abe80fc86e204ec8 /files | |
parent | ab36b527ad181e52aba47d5a896922543caa4978 (diff) | |
download | sdk-9b205d7f8cb7c0c23b1c6c212d83cb614e5342b4.zip sdk-9b205d7f8cb7c0c23b1c6c212d83cb614e5342b4.tar.gz sdk-9b205d7f8cb7c0c23b1c6c212d83cb614e5342b4.tar.bz2 |
Move tools to 13.
Change-Id: Ibedcb5627170d107cacf5e9d212f9da11c8d1f3e
Diffstat (limited to 'files')
-rw-r--r-- | files/tools_source.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/files/tools_source.properties b/files/tools_source.properties index 7ed99d2..77e52b2 100644 --- a/files/tools_source.properties +++ b/files/tools_source.properties @@ -1,3 +1,3 @@ Pkg.UserSrc=false -Pkg.Revision=12 +Pkg.Revision=13 Platform.MinPlatformToolsRev=3 |