diff options
| author | Andreas Gampe <agampe@google.com> | 2018-02-15 15:12:38 -0800 |
|---|---|---|
| committer | Andreas Gampe <agampe@google.com> | 2018-02-16 01:34:21 +0000 |
| commit | 7b9b5d7544f2a9038b69baefa8da12a33e5e99bf (patch) | |
| tree | 5f8252288db2e66bbd387731a6accd44fcc49664 /docs/html/sdk/api_diff/11/changes | |
| parent | 10034d94cf40ae968381c3535b464cde43cd22b5 (diff) | |
Framework: Disable [MissingOverride] for platformprotos
Bug: 72714520
Test: m javac-check-platformprotos RUN_ERROR_PRONE=true
Merged-In: I00f5a588fa74621d4c35dc4e39b54536815ad476
Change-Id: I00f5a588fa74621d4c35dc4e39b54536815ad476
Diffstat (limited to 'docs/html/sdk/api_diff/11/changes')
0 files changed, 0 insertions, 0 deletions