diff options
| author | 2021-02-17 18:34:48 +0000 | |
|---|---|---|
| committer | 2021-02-17 18:34:48 +0000 | |
| commit | 9f9236ec56bc9bd62e506d61d38006972a56aa70 (patch) | |
| tree | 31fe23127cfe20fc87307c037b4fb20d039931e4 /tools/warn/java_warn_patterns.py | |
| parent | 43d4040f6f3f65b13673f03639b65f6c37c3ea8e (diff) | |
| parent | 2e4fdbdda1a5ffba53ed025e6d04a16d40003325 (diff) | |
Merge "Do not append empty DEFAULT_TIDY_HEADER_DIRS"
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions