| commit | f7d0833a26ce4072a20cfb7cea01aeb9668c5d28 | [log] [tgz] |
|---|---|---|
| author | wangqi <wangqi@google.com> | Thu May 17 17:03:30 2018 -0700 |
| committer | Copybara-Service <copybara-piper@google.com> | Thu May 17 20:38:19 2018 -0700 |
| tree | 1663e5c6bae6c7f54283529cbbae5a5a5b66fc7f | |
| parent | e1eafe662404ff434df35ac291396e7949f0aa23 [diff] |
Add more Cequint provider. Bug: 64975757 Test: none PiperOrigin-RevId: 197074854 Change-Id: I56696fef1e76d72bbb2ef639cdd4257321cacc94