diff options
author | 2017-04-18 13:50:56 +0200 | |
---|---|---|
committer | 2017-04-18 15:26:26 +0200 | |
commit | 24eb353c93192131ba0787b896bf5027d339e253 (patch) | |
tree | e2530ce9a131e566c8d91cfbf97311fdd8c9a62f /src/main/java/com/google/devtools/build/lib/exec/local | |
parent | 997992d728a6ae5f5b9ee9a4a117d554041e6f45 (diff) |
Reword comment
RELNOTES: None.
PiperOrigin-RevId: 153449924
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/exec/local')
0 files changed, 0 insertions, 0 deletions