diff options
author | 2018-07-17 11:49:49 -0700 | |
---|---|---|
committer | 2018-07-17 11:51:45 -0700 | |
commit | 0d279f3bec28ad65997c60fd58c2dd096847fde1 (patch) | |
tree | c5649536fdad1b311ebc17ea89c4fbcba7cfa324 /src/main/java/com/google/devtools/build/lib/sandbox/AbstractSandboxSpawnRunner.java | |
parent | 71cb4747be1056aad21336044e3da3cd039ab4bf (diff) |
Add doc about repo_mapping
RELNOTES: None
PiperOrigin-RevId: 204948309
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/sandbox/AbstractSandboxSpawnRunner.java')
0 files changed, 0 insertions, 0 deletions