OSDN Git Service

Merge "SDK Manager: fix duplicated Extra Packages."
authorRaphael <raphael@google.com>
Fri, 14 Oct 2011 18:25:52 +0000 (11:25 -0700)
committerAndroid (Google) Code Review <android-gerrit@google.com>
Fri, 14 Oct 2011 18:25:52 +0000 (11:25 -0700)

Trivial merge