From fb6986d2b2b725fa397bb7b3ffff68c88b05d19d Mon Sep 17 00:00:00 2001 From: Raphael Moll Date: Wed, 22 May 2013 11:09:16 -0700 Subject: Update Tools to 22.0.1 Change-Id: I4a34dc97d077e6f562bb99514e647370fa973de3 (cherry picked from commit 4d4e205c8450f12cf0ba5b9c0abd7881b3cca5ac) --- files/tools_source.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'files/tools_source.properties') diff --git a/files/tools_source.properties b/files/tools_source.properties index 3deca7a..2e8aa8a 100644 --- a/files/tools_source.properties +++ b/files/tools_source.properties @@ -1,3 +1,3 @@ Pkg.UserSrc=false -Pkg.Revision=22 +Pkg.Revision=22.0.1 Platform.MinPlatformToolsRev=16 -- cgit v1.1