diff options
| author |  dannark <dannark@google.com> | 2018-06-26 11:55:40 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-06-26 11:57:13 -0700 |
| commit | a19a56da38d4749d29e1720900a4017c94eccbb9 (patch) | |
| tree | 7b91e61340c5d22641a031bae91502d37c8aedfb /tools | |
| parent | f166d1c5f4f353db6879a75c0b8424cd6c46cecc (diff) | |
Enforce that repository mapping is never null (it can be empty).
RELNOTES: None
PiperOrigin-RevId: 202167782
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions