diff options
author | Greg Estren <gregce@google.com> | 2016-11-15 16:49:10 +0000 |
---|---|---|
committer | Kristina Chodorow <kchodorow@google.com> | 2016-11-16 15:56:18 +0000 |
commit | 132f9e0fe8993f6a898653e7778b08ac328acf39 (patch) | |
tree | 1a71e74631bfed6acdf4188b9a03f8a31022bfd1 /src/main/java/com/google/devtools/build/lib/worker | |
parent | f69585524b589d9af4830ec5acb7d202342b72f9 (diff) |
Updates outdated options documentation for
--distinct_host_configuration.
--
MOS_MIGRATED_REVID=139205874
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/worker')
0 files changed, 0 insertions, 0 deletions