diff options
author | Raphael Moll <ralf@android.com> | 2012-10-23 19:17:18 -0700 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2012-10-23 19:17:18 -0700 |
commit | a4a2ec7f7eb2da36341e7313c7aa249b9f350256 (patch) | |
tree | 3e3d5aabd0fabd18496b86343fdd45d8f59e49fa | |
parent | db2ece10490d15ab67bcac3c048916b15fdecf27 (diff) | |
parent | ccdc22b2bad3eb2d0ca11748d699a905f493af41 (diff) | |
download | sdk-a4a2ec7f7eb2da36341e7313c7aa249b9f350256.zip sdk-a4a2ec7f7eb2da36341e7313c7aa249b9f350256.tar.gz sdk-a4a2ec7f7eb2da36341e7313c7aa249b9f350256.tar.bz2 |
Merge "Tools 21 depends on Platform-Tools 15 rc9."
-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 b8ba4f7..c62f80d 100644 --- a/files/tools_source.properties +++ b/files/tools_source.properties @@ -1,3 +1,3 @@ Pkg.UserSrc=false Pkg.Revision=21 -Platform.MinPlatformToolsRev=15 rc5 +Platform.MinPlatformToolsRev=15 rc9 |