diff options
author | Philipp Wollermann <philwo@google.com> | 2015-11-04 20:53:35 +0000 |
---|---|---|
committer | John Field <jfield@google.com> | 2015-11-05 16:49:54 +0000 |
commit | fed455e2589d5406adb564899a1f8ae8c7464c23 (patch) | |
tree | 333fc2afde453ebfed6e3aebc817faef7e1d2286 /src/main/java/com/google/devtools/build/lib/util/UserUtils.java | |
parent | 0d05f25d178a77c7a7ebb2e98f83378822e25d12 (diff) |
Flip --worker_verbose to false by default.
--
MOS_MIGRATED_REVID=107069073
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/util/UserUtils.java')
0 files changed, 0 insertions, 0 deletions