diff options
| author | 2020-02-27 08:09:55 +0000 | |
|---|---|---|
| committer | 2020-02-27 08:09:55 +0000 | |
| commit | ef7f5467e9d009a72acc43a43b1e8ad7ca37d270 (patch) | |
| tree | 5af23ba1691e99282bb87e4419500155f6996fcb /tools/warn/make_warn_patterns.py | |
| parent | 817e013a00ab5b927b0186232501db2f358a0988 (diff) | |
| parent | 445ad810c88149e0f1b0d194df9518b53b3e4f5e (diff) | |
Merge "Recognize more warning patterns."
Diffstat (limited to 'tools/warn/make_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions