diff options
author | 2016-09-20 16:32:01 +0000 | |
---|---|---|
committer | 2016-09-21 07:06:40 +0000 | |
commit | 07f6fcf8a88791aef887b05c79b907760b989ea9 (patch) | |
tree | d180cc46574a250bfcee7bd9d222123c13cd65ef /src/main/java/com/google/devtools/build/lib/query2/output/QueryOptions.java | |
parent | cc867d4b7a2a42188ba5ef5114dad2c2fab60351 (diff) |
Introduce a Builder for ForkJoinQuiescingExecutor.
--
MOS_MIGRATED_REVID=133714902
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/query2/output/QueryOptions.java')
0 files changed, 0 insertions, 0 deletions