From 9b205d7f8cb7c0c23b1c6c212d83cb614e5342b4 Mon Sep 17 00:00:00 2001
From: Xavier Ducrohet <xav@android.com>
Date: Tue, 21 Jun 2011 13:23:51 -0700
Subject: Move tools to 13.

Change-Id: Ibedcb5627170d107cacf5e9d212f9da11c8d1f3e
---
 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 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
-- 
cgit v1.1