tree 03531c3f04b7ee449c8e295c609525528f9325bf
parent ecf7c59cf5043b65770f912eabc545dbe4412a75
parent 8e8886e36349043100b07874bd2c71e41547c761
author Android (Google) Code Review <android-gerrit@google.com> 1244662544 -0700
committer Android (Google) Code Review <android-gerrit@google.com> 1244662544 -0700

Merge change 3691 into donut

* changes:
  SDK Updater: handle HTTP proxy settings, load & save.