| commit | fd47d7cf39065ee72b3de3a671a59bae19f9cfec | [log] [tgz] |
|---|---|---|
| author | Raphael Moll <ralf@android.com> | Thu May 17 13:04:50 2012 -0700 |
| committer | Raphael Moll <ralf@android.com> | Thu May 17 17:43:44 2012 -0700 |
| tree | b5097486fd69e921a561703dbd873cdee0604e6c | |
| parent | 4215c64c8c75fa526af88ed5651693b4dcceef6c [diff] |
SDK Manager: display options menu when invoked from IDE. Change-Id: I03c75be4d624f841c6f4c0ba93b0951bc8da8850