diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2015-08-04 14:27:36 +0000 |
|---|---|---|
| committer |  John Field <jfield@google.com> | 2015-08-04 20:26:07 +0000 |
| commit | 4bd75a58d10fc9a46cbcef40621fe9b9e22c334c (patch) | |
| tree | e3630225d7d53ceb8f56e726f035fb63c91888d9 /src/main/java/com/google/devtools/build/lib/rules/cpp | |
| parent | ea11fc54f4224094bc3793eec1e2eaf7d397c65f (diff) | |
Follow redirects in HTTP-based remote repositories.
The content is checked for determinism using SHA-256 sum. Following
redirection allows for using mirror based service.
--
MOS_MIGRATED_REVID=99819904
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/cpp')
0 files changed, 0 insertions, 0 deletions