summaryrefslogtreecommitdiff
path: root/scripts/lint_project_xml.py
diff options
context:
space:
mode:
author Pierre-Clément Tosi <ptosi@google.com> 2022-08-22 07:44:42 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 2022-08-22 07:44:42 +0000
commit329a03196fa6e49f7d04e2e3a18a9a08c9f215aa (patch)
treebdced91319c3378a9d114b8096bd6e44fdd497bf /scripts/lint_project_xml.py
parentf5b0c2a1786439757f04a5fb8e1c8d913e9f738d (diff)
parent6f630ae6f231cc57b41088cdcf0a535a72877831 (diff)
Merge "Support prefix_symbols for prebuilt libraries"
Diffstat (limited to 'scripts/lint_project_xml.py')
0 files changed, 0 insertions, 0 deletions