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/collect | |
| 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/collect')
0 files changed, 0 insertions, 0 deletions