diff options
| author | 2020-07-01 00:27:44 +0000 | |
|---|---|---|
| committer | 2020-07-01 00:27:44 +0000 | |
| commit | b9a27f4e7d07b2e6cb2cf27b5eebe62cbb634e67 (patch) | |
| tree | 6974a6dc5b8614ea098b6e0a0f3e8956b527ca2e /tools/warn/java_warn_patterns.py | |
| parent | 6c9441a9247adf3a830e88f26b84df412181dfbf (diff) | |
| parent | 2b0b3d1491c24b858401892ccd1dfc4a23a4cf30 (diff) | |
Merge "Error if BOARD_VNDK_VERSION=PLATFORM_VNDK_VERSION"
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions