| commit | 1d75c7fe3193505e5234a05bc662c43bc4985a6f | [log] [tgz] |
|---|---|---|
| author | Anton Hansson <hansson@google.com> | Mon May 09 09:55:45 2022 +0000 |
| committer | Anton Hansson <hansson@google.com> | Mon May 09 10:46:38 2022 +0000 |
| tree | 53e48add24452b3a9cc40ad231c1d73915fcb556 | |
| parent | 430aa3f2a4dee743f903b6e0fe9c47934ea6e02a [diff] |
Use lint database from api_versions_public These two databases are (nearly) identical but the latter is generated in a much more efficient way. The diffs are very minor and it's not clear to me which versions is more correct than the other, though I'm fairly confident they don't matter. https://paste.googleplex.com/5567994005553152 Bug: 187398174 Test: diff api-versions.xml Change-Id: I97375e0d72675bc8ff102551b3e3913e684be683