commit 76bd108da744ab42b7567abf027941d1ec2ff15d
author Raphael <raphael@google.com> Wed Nov 02 21:50:42 2011 -0700
committer Raphael <raphael@google.com> Thu Nov 03 12:31:37 2011 -0700
tree 3a913b179ea17f86ea713a9e9daa96e2c63bce9a
parent 63e5983c9ba8f5af13cd01b60ace62b0178225f5

SDK: update SDK to API 15

Change-Id: Ie6eecb86c441ef71a0677884be4c9fdfcd2737de

sdk/platform_source.properties

diff --git a/sdk/platform_source.properties b/sdk/platform_source.properties
index 54fa9ff..0e70356 100644
--- a/sdk/platform_source.properties
+++ b/sdk/platform_source.properties
@@ -1,9 +1,9 @@
-Pkg.Desc=Android SDK Platform 4.0
+Pkg.Desc=Android SDK Platform 4.1
 Pkg.UserSrc=false
-Platform.Version=4.0
-Pkg.Revision=2
-AndroidVersion.ApiLevel=14
+Platform.Version=4.1
+Pkg.Revision=1
+AndroidVersion.ApiLevel=15
 #AndroidVersion.CodeName=
 Layoutlib.Api=7
 Layoutlib.Revision=1
-Platform.MinToolsRev=14
+Platform.MinToolsRev=15