| commit | 772ce2e3e9bdae19d173f5695163c10affbe87c6 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Wed Apr 20 12:36:59 2022 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Apr 20 12:36:59 2022 +0000 |
| tree | 7dee997c60061c76cabfb3eabe8cade9df00c2df | |
| parent | 6c81fbe79a8931739414f8d9e55166c8ac70f100 [diff] | |
| parent | 45ca608b6e8d4b381b9d4ad9cb02d332400befbe [diff] |
Merge "Remove unneeded lit dependency"