diff options
| author |   Gary Wu <gary.i.wu@huawei.com> | 2018-10-26 11:43:50 -0700 |
|---|---|---|
| committer | Gary Wu <gary.i.wu@huawei.com> | 2018-10-26 11:43:50 -0700 |
| commit | 898be633f924a0d65cdf642c922e36213df47fa5 (patch) | |
| tree | 54bf549a1df95ec58195e9908bd3e5ce0890719b /version.properties | |
| parent | 675eb15ea9c5b4e57dbd2c022c43c4b4efd1d4be (diff) | |
Switch apt proxy
Switch apt proxy server due to bugginess in old apt proxy.
Change-Id: I73840e51bdb134f18fff9c6ef2a4e744d18663ee
Issue-ID: INT-586
Signed-off-by: Gary Wu <gary.i.wu@huawei.com>
Diffstat (limited to 'version.properties')
0 files changed, 0 insertions, 0 deletions