From c8b44d4ceeb110b5c836e7a3ee5a1f1ed905d975 Mon Sep 17 00:00:00 2001
From: Xavier Ducrohet <xav@android.com>
Date: Fri, 13 Jul 2012 16:21:28 -0700
Subject: [PATCH] Update SDK platform-tools revision to 13.

Change-Id: I0eefe31df11e31892f3574c1f8c05025b766b4e1
---
 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 47d71d519..0dc837a66 100644
--- a/sdk/plat_tools_source.properties
+++ b/sdk/plat_tools_source.properties
@@ -1,2 +1,2 @@
 Pkg.UserSrc=false
-Pkg.Revision=12
\ No newline at end of file
+Pkg.Revision=13
\ No newline at end of file