From 46994f5d93ef1960174a47717152e3b557f0b300 Mon Sep 17 00:00:00 2001
From: Raphael <raphael@google.com>
Date: Wed, 22 Dec 2010 12:04:28 -0800
Subject: [PATCH] SDK for 2.3.1 -- DO NOT MERGE

Change-Id: I2be72f53a6fe2d2bc1371f57439a4c5da972dcbb
---
 sdk/plat_tools_source.properties | 2 +-
 sdk/platform_source.properties   | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/sdk/plat_tools_source.properties b/sdk/plat_tools_source.properties
index ba79b6c97..9528e7955 100644
--- a/sdk/plat_tools_source.properties
+++ b/sdk/plat_tools_source.properties
@@ -1,2 +1,2 @@
 Pkg.UserSrc=false
-Pkg.Revision=1
+Pkg.Revision=2
diff --git a/sdk/platform_source.properties b/sdk/platform_source.properties
index 6dadea50e..a834f39b1 100644
--- a/sdk/platform_source.properties
+++ b/sdk/platform_source.properties
@@ -1,6 +1,6 @@
-Pkg.Desc=Android SDK Platform 2.3_r1
+Pkg.Desc=Android SDK Platform 2.3.1_r2
 Pkg.UserSrc=false
-Platform.Version=2.3
-Pkg.Revision=1
+Platform.Version=2.3.1
+Pkg.Revision=2
 AndroidVersion.ApiLevel=9
 #AndroidVersion.CodeName=