diff options
author | brandjon <brandjon@google.com> | 2017-10-24 22:25:59 +0200 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2017-10-25 16:46:10 +0200 |
commit | 226eed0a6b2baf31816c8e1fa5a958a748a94b2b (patch) | |
tree | 7b813e365408ff48a8d89c5088e254a623bc4a3d /WORKSPACE | |
parent | d73bcf81d367ee998b64661bbb63b2419f3b04d1 (diff) |
Clarify sanity check error message
RELNOTES: None
PiperOrigin-RevId: 173302354
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions