| commit | 9b205d7f8cb7c0c23b1c6c212d83cb614e5342b4 | [log] [tgz] |
|---|---|---|
| author | Xavier Ducrohet <xav@android.com> | Tue Jun 21 13:23:51 2011 -0700 |
| committer | Xavier Ducrohet <xav@android.com> | Tue Jun 21 13:23:51 2011 -0700 |
| tree | 3c45061cd60cd1b60dcdd067abe80fc86e204ec8 | |
| parent | ab36b527ad181e52aba47d5a896922543caa4978 [diff] [blame] |
Move tools to 13. Change-Id: Ibedcb5627170d107cacf5e9d212f9da11c8d1f3e
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