From f46f1a979b7c1e1a4e1ece29f1477ae96af0bc7a Mon Sep 17 00:00:00 2001 From: Xavier Ducrohet Date: Mon, 12 Aug 2013 10:22:00 -0700 Subject: [PATCH] Move build tools version to 18.1.0 - do not merge. Change-Id: I3a18a0c43d67770d3c52344597c28b7644446647 --- sdk/plat_tools_source.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sdk/plat_tools_source.properties b/sdk/plat_tools_source.properties index 1ac7da004..0025a2add 100644 --- a/sdk/plat_tools_source.properties +++ b/sdk/plat_tools_source.properties @@ -1,3 +1,3 @@ Pkg.UserSrc=false -Pkg.Revision=18.0.1 +Pkg.Revision=18.1.0