commit | 4e7306d1dcf9d182693dfc36518723dc3897afee | [log] [tgz] |
---|---|---|
author | Petr Hosek <phosek@google.com> | Thu Feb 15 18:40:19 2018 -0800 |
committer | Petr Hosek <phosek@google.com> | Thu Feb 15 18:40:19 2018 -0800 |
tree | 73c67180a242c2b3419a81add1aeac1b99459311 | |
parent | e43d2b06550e7c91d3d520dbeb8aed194f9e2438 [diff] |
Update the list of repos for GitHub mirror Change-Id: Ie471552271d65c7bb975b7b8fcb52379c534d18b