diff options
| author | Jeongik Cha <jeongik@google.com> | 2021-04-15 09:12:49 +0900 |
|---|---|---|
| committer | Jeongik Cha <jeongik@google.com> | 2021-04-15 09:12:49 +0900 |
| commit | 33a3a8182f9833b75ab4fa14c27dcdc8667ae2cc (patch) | |
| tree | ec30c3018b5bb38c0309c755617824dd31834760 /scripts/lint-project-xml.py | |
| parent | bec4d038bb2447c84d10556a04e4f37ca9985291 (diff) | |
Made ManifestPath OptionalPath instead of Path
because it is actually an optional value.
Bug: 158843648
Test: m nothing
Change-Id: If323eacf6a7aa83dcf5ce4825ad8cabeeaa97ac9
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions