diff options
| author | Dan Willemsen <dwillemsen@google.com> | 2020-01-28 22:38:43 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2020-01-28 22:38:43 +0000 |
| commit | 5daf724d157744f210e9023d3e16df4f406e02ed (patch) | |
| tree | 7ebf9455ce690a6f167f4c1168c8dd106467d56d /tools/warn/java_warn_patterns.py | |
| parent | 35e12a7020f1752003c5ae93d13b36da34a700ad (diff) | |
| parent | 66d21d4a30ae1ebdac766055c8890865f26cc3dc (diff) | |
Merge "Mark (BUILD_|LOCAL_)COPY_HEADERS as [more] deprecated"
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions