diff options
| author | 2019-12-18 23:56:44 +0000 | |
|---|---|---|
| committer | 2019-12-18 23:56:44 +0000 | |
| commit | 0cb1ca1c4c5521cc2d9a9d7256196dc10826a853 (patch) | |
| tree | 6f43f7ad9d7bf778d843bd780f3c3d705ed75b3c /tools/warn/cpp_warn_patterns.py | |
| parent | 2e4496471981748c54dca93ef7ff052544b84f36 (diff) | |
| parent | bb688a9fa9f8542dd0868a706eae987ec0e686e0 (diff) | |
Merge "Raise an error when partition setting is wrong"
Diffstat (limited to 'tools/warn/cpp_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions