| commit | 3b5af5fe75e4f03352f178a1c98cb6a8990f24f4 | [log] [tgz] |
|---|---|---|
| author | Raphael Moll <ralf@android.com> | Fri May 18 13:01:34 2012 -0700 |
| committer | android code review <noreply-gerritcodereview@google.com> | Fri May 18 13:01:34 2012 -0700 |
| tree | 2da8ea8b025d4fc283113b728cbdb31a1ef16761 | |
| parent | 95bee010d37fc66e470861237e6d62a7989f9d41 [diff] | |
| parent | fd47d7cf39065ee72b3de3a671a59bae19f9cfec [diff] |
Merge "SDK Manager: display options menu when invoked from IDE."