diff options
| author | 2020-04-04 04:12:35 +0000 | |
|---|---|---|
| committer | 2020-04-04 04:12:35 +0000 | |
| commit | 0447be9904d1f27981686c9574412a49378b84dc (patch) | |
| tree | 7cc1177559ea9b8bb58a563d6de6666e7693cc3c /tools/warn/java_warn_patterns.py | |
| parent | 488d665d7d9cbec48d20311ac6adb8e1375a6f6d (diff) | |
| parent | 5c7b034a5ce521d5e3834c839292aa5352c811d0 (diff) | |
Merge "Make the `partition=` tag optional."
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions