diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index be74bf49..22758cfd 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -626,6 +626,13 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
| 626 | return set(x.strip() for x in exclude.split(',')) | 626 | return set(x.strip() for x in exclude.split(',')) |
| 627 | 627 | ||
| 628 | @property | 628 | @property |
| 629 | def UseLocalManifests(self): | ||
| 630 | return self._load_local_manifests | ||
| 631 | |||
| 632 | def SetUseLocalManifests(self, value): | ||
| 633 | self._load_local_manifests = value | ||
| 634 | |||
| 635 | @property | ||
| 629 | def HasLocalManifests(self): | 636 | def HasLocalManifests(self): |
| 630 | return self._load_local_manifests and self.local_manifests | 637 | return self._load_local_manifests and self.local_manifests |
| 631 | 638 | ||
