diff options
author | 2016-08-10 09:06:50 +0000 | |
---|---|---|
committer | 2016-08-10 13:54:51 +0000 | |
commit | 7e71f89f5ac0ef826fc1b9474155197946b031d3 (patch) | |
tree | e7079106360d91407e51291c871c796a4b45e5e3 /src/main/java/com/google/devtools/build/lib/runtime/WorkspaceBuilder.java | |
parent | ea46dfc52c4142d7b30dbac36b365ffa7ea6b338 (diff) |
Cleanup BlazeRuntime and ServerBuilder slightly.
--
MOS_MIGRATED_REVID=129843837
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/WorkspaceBuilder.java')
0 files changed, 0 insertions, 0 deletions