diff options
| author | 2022-08-12 06:43:08 +0000 | |
|---|---|---|
| committer | 2022-08-12 06:43:08 +0000 | |
| commit | ffd6014a6836258b7f1c44b0988cceedab295fcf (patch) | |
| tree | a693430302228e492a9efdcc74c502845bc5393e | |
| parent | 4b32269d0acc9603cf147d3822b843bd6a3d35cd (diff) | |
| parent | 2aa68684ba8034bdea9fb3a84d6b096c95b0b39c (diff) | |
Merge "Revert^2 "Promote ExtraText lint warning to an error"""
| -rw-r--r-- | java/lint_defaults.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/java/lint_defaults.txt b/java/lint_defaults.txt index e99cb05c5..01e7e6e75 100644 --- a/java/lint_defaults.txt +++ b/java/lint_defaults.txt @@ -101,7 +101,6 @@ --warning_check WrongViewCast # 1 occurences in 1 modules --warning_check CoarseFineLocation ---warning_check ExtraText --warning_check IntentFilterExportedReceiver --warning_check MissingInflatedId --warning_check NotificationPermission |