diff options
| author | Anton Hansson <hansson@google.com> | 2020-05-21 10:11:31 +0100 |
|---|---|---|
| committer | Anton Hansson <hansson@google.com> | 2020-06-05 15:16:16 +0100 |
| commit | 9d7c3fb4da9c40d956da0d2a6542eb17f292cf14 (patch) | |
| tree | 99f1d00b7185d0db4021462bd1c59c7bd858445c /scripts/lint-project-xml.py | |
| parent | 3f07ab2d63e2a0892b45d9200a15b2fbba6c33e9 (diff) | |
Don't require merge_annotations_dir for annotations_enabled
As far as I can tell, annotations_enabled does not require use of
merge_annotations_dir (although it may have done in the past).
Bug: 157010342
Test: m
Change-Id: I6705522774203b4566f58679bbc2f0c17422c1dd
Merged-In: I6705522774203b4566f58679bbc2f0c17422c1dd
(cherry picked from commit c5e13279ad9d146e12d97f937afc45c958c1e3af)
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions