diff options
author | Alex Humesky <ahumesky@google.com> | 2016-12-13 19:18:45 +0000 |
---|---|---|
committer | John Cater <jcater@google.com> | 2016-12-13 21:05:23 +0000 |
commit | 8a32c3758a28b9c8624422a364a74987315143da (patch) | |
tree | 53da9a425464a5496604371d19f8d2852f460fe7 /src/main/java/com/google/devtools/build/lib/util | |
parent | a028ae2a4949cbc3051a6f0b110577459d2c4d5b (diff) |
Fix doc typo.
--
PiperOrigin-RevId: 141916305
MOS_MIGRATED_REVID=141916305
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/util')
0 files changed, 0 insertions, 0 deletions