tree 95bde4fb7f8eea86e4b8511a18eed85c57700e94
parent 0d0729a62fd8a9c38b708b51f9813e199c9082ea
author Anton Hansson <hansson@google.com> 1652089992 +0000
committer Anton Hansson <hansson@google.com> 1652098726 +0000

Use lint database from api_version_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

Droidstubs now support using the api-versions.xml from another
droidstubs module, so reuse the one from api_versions_public
in framework-doc-stubs.

Bug: 187398174
Test: diff api-versions.xml
Test: diff stubs of framework-doc-stubs
Change-Id: I774be9097e97d6b180fe54d799c94515780be6ec