tree ce06c5ac9753e1a5ce9bd611f1e94618cf1695a6
parent ca4603db2fa5cd0231d75ebcef239cd69e1772ad
parent 3e9f34498a14b596b34ca75b45443c336697c309
author Android (Google) Code Review <android-gerrit@google.com> 1257552408 -0500
committer Android (Google) Code Review <android-gerrit@google.com> 1257552408 -0500

Merge change Ic291d534 into eclair-sdk

* changes:
  SDK Manager: refresh sources when HTTP/S pref is changed.