diff options
| author | Jeongik Cha <jeongik@google.com> | 2021-04-16 03:40:51 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2021-04-16 03:40:51 +0000 |
| commit | 06d6373bbe5f45604280f959445c428ea56dec4a (patch) | |
| tree | a714a40575b7cb945f42561630911accc0836b98 /scripts/lint-project-xml.py | |
| parent | 53932eca917ead48a361f41de216e387ac9d1402 (diff) | |
| parent | 33a3a8182f9833b75ab4fa14c27dcdc8667ae2cc (diff) | |
Merge "Made ManifestPath OptionalPath instead of Path"
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions