diff options
| author | 2020-04-21 22:35:36 +0000 | |
|---|---|---|
| committer | 2020-04-21 22:35:36 +0000 | |
| commit | 85dbb754e23bf592ed34743454eb3617d8dc7850 (patch) | |
| tree | d7d8c20d483a6046a4b0574403df7e8957a585bd /tools/warn/java_warn_patterns.py | |
| parent | dd9690162fdbe7a0809d7a46aa9936e19615e367 (diff) | |
| parent | efee0692d4bce7aee0993d3f2b059afd78cc75d7 (diff) | |
Merge changes from topic "mk-rm-obsolete"
* changes:
Obsolete unused module types
Remove AUX support
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions