diff options
author | Raphael Moll <raphael@google.com> | 2012-03-07 15:04:09 -0800 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2012-03-07 15:04:09 -0800 |
commit | de9dcb97c90a961f0e1500f5aea4be7501c4bc66 (patch) | |
tree | a1d401d3f511db3220e4308f26d7a240b1b79118 /files | |
parent | 63eaae28b16b2205e047d7c9ed03e8b493894103 (diff) | |
parent | e70a66290663264c8990283924cf262107f68e7b (diff) | |
download | sdk-de9dcb97c90a961f0e1500f5aea4be7501c4bc66.zip sdk-de9dcb97c90a961f0e1500f5aea4be7501c4bc66.tar.gz sdk-de9dcb97c90a961f0e1500f5aea4be7501c4bc66.tar.bz2 |
Merge "SDK: generate repo using latest schemas."
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 f43d1e3..cd107f0 100644 --- a/files/tools_source.properties +++ b/files/tools_source.properties @@ -1,3 +1,3 @@ Pkg.UserSrc=false -Pkg.Revision=17 +Pkg.Revision=18 Platform.MinPlatformToolsRev=11 |