diff options
author | 2016-11-18 21:07:49 +0000 | |
---|---|---|
committer | 2016-11-21 19:39:06 +0000 | |
commit | 74c6ad8db812077d3fd482cbedb5a874fadf8778 (patch) | |
tree | c1a8ab0dff1a11ab6dbae1ba9bf0239e629311c5 /src/main/java/com/google/devtools/build/lib/sandbox | |
parent | 1b80c995d0de47a6d532617289bcfce36edee9e9 (diff) |
Provide a parallel implementation of "e1 + e2".
--
MOS_MIGRATED_REVID=139613681
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/sandbox')
0 files changed, 0 insertions, 0 deletions