tree b7a252498d650d95f5b8fd57140a490757ffeee4
parent e4c98c0191242cd29712ab54fbe49e8a75f8db0b
author Raphael <raphael@google.com> 1255137848 -0700
committer Raphael <raphael@google.com> 1255381245 -0700

SDK Manager: suggest install of new platforms, addons or extra packages.

Supports the new "android update sdk" action.

Change-Id: Ib096f1f024639018252c58d4f9c8872ead3c39b9