diff options
author | 2017-08-17 15:33:15 +0200 | |
---|---|---|
committer | 2017-08-18 09:00:41 +0200 | |
commit | 6b9d6827e72fad4058837528e726a41443f0da51 (patch) | |
tree | bd756b2ab23f2d49e536e5f311a3582c79cb8de1 /src/main/java/com/google/devtools/build/lib/syntax/ListLiteral.java | |
parent | 4c1fe6ccf4b9c6807ba136cc1390be63e63405a6 (diff) |
Add the workspace name to the sandbox path for sandboxed workers.
PiperOrigin-RevId: 165571541
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/syntax/ListLiteral.java')
0 files changed, 0 insertions, 0 deletions