diff options
| author | 2022-05-09 09:36:22 +0000 | |
|---|---|---|
| committer | 2022-05-09 13:10:24 +0000 | |
| commit | 67cf60e7c5bf29db9dec52c575d0250568371a18 (patch) | |
| tree | d32e1c68ae26b4a70c9df22ab94a878eafb3dffe /android/namespace_test.go | |
| parent | c04a16ef0b5a2a7acd82b36b3210411bc336d3b6 (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: I0fa35d4067bc06936b4a31bda0bca7fd41f26aae
Diffstat (limited to 'android/namespace_test.go')
0 files changed, 0 insertions, 0 deletions