diff options
author | 2018-02-12 13:15:26 -0800 | |
---|---|---|
committer | 2018-02-12 13:17:40 -0800 | |
commit | dd4ddfd4a78e187f3fd39978d569f9b2ae17968b (patch) | |
tree | 5ad55fa48468cd775fe2771fe8aa947f741cd9af /src/main/java/com/google/devtools/build/lib/syntax | |
parent | 03df70b880c4ec3ca8925dd19ba3b6a7927bbbfd (diff) |
Add missing parameter documentation to the which method in repository_ctx.
PiperOrigin-RevId: 185424287
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/syntax')
0 files changed, 0 insertions, 0 deletions