diff options
author | Xavier Ducrohet <xav@android.com> | 2012-03-29 12:20:58 -0700 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2012-03-29 12:20:58 -0700 |
commit | d22e798547d802878ac35470b2a64f4a40497c45 (patch) | |
tree | 8ce65653bcb3cfa26d18cc0431cc15b5af702a38 /files/tools_source.properties | |
parent | 7d94f2e3da01698e7dde3daea1ab13afbd6419cf (diff) | |
parent | 0dd405184865862c480ad1a42f50692f32e94965 (diff) | |
download | sdk-d22e798547d802878ac35470b2a64f4a40497c45.zip sdk-d22e798547d802878ac35470b2a64f4a40497c45.tar.gz sdk-d22e798547d802878ac35470b2a64f4a40497c45.tar.bz2 |
Merge "Move tools and ADT to 19."
Diffstat (limited to 'files/tools_source.properties')
-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 cd107f0..a4b2625 100644 --- a/files/tools_source.properties +++ b/files/tools_source.properties @@ -1,3 +1,3 @@ Pkg.UserSrc=false -Pkg.Revision=18 +Pkg.Revision=19 Platform.MinPlatformToolsRev=11 |