OSDN Git Service

Merge "Merge: SDK Manager: specify proxy on no-UI command-line." into tools_r9
authorRaphael Moll <ralf@android.com>
Mon, 10 Jan 2011 18:51:40 +0000 (10:51 -0800)
committerAndroid Code Review <code-review@android.com>
Mon, 10 Jan 2011 18:51:40 +0000 (10:51 -0800)

Trivial merge