diff options
| author | 2020-10-27 01:48:41 +0000 | |
|---|---|---|
| committer | 2020-10-29 22:29:27 +0000 | |
| commit | 522710f3781fcee9df30f551abff37a4fcdf8892 (patch) | |
| tree | 4a0aa53b603525de98bf9f8e3b66178284ae3bbd /tools/warn/java_warn_patterns.py | |
| parent | 67e13411000b075e9e74cbb8263d42c1c2983f53 (diff) | |
Add a rule to get numbers greater or equal to a minimum number.
Cherry-pick from b235859ac07620df58988b4fade9f4edd59ea4eb
Bug: 171217392
Test: Make
Change-Id: I04df72f813f892f0b6dec8b48e2a113af4545148
Merged-In: I04df72f813f892f0b6dec8b48e2a113af4545148
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions