diff options
author | Rodrigo Queiro <rodrigoq@google.com> | 2017-12-05 01:10:53 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2017-12-05 01:12:56 -0800 |
commit | 07b9c6fe2968726b5986f7f8711868dac87cb3a7 (patch) | |
tree | 748005531e1b7b02fdcefec179b7c7c0659b6433 /src/main/java/com/google/devtools/build/lib/packages/PackageSpecification.java | |
parent | 9ac1f287eab0ce2fa0e3c685cd218832091f19e9 (diff) |
Fix docs for repository_name
Fixes #3573
Closes #3574.
PiperOrigin-RevId: 177925152
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/packages/PackageSpecification.java')
0 files changed, 0 insertions, 0 deletions