diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 64b7fb4e..73556a5e 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -596,6 +596,10 @@ https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md | |||
| 596 | return set(x.strip() for x in exclude.split(',')) | 596 | return set(x.strip() for x in exclude.split(',')) |
| 597 | 597 | ||
| 598 | @property | 598 | @property |
| 599 | def HasLocalManifests(self): | ||
| 600 | return self._load_local_manifests and self.local_manifests | ||
| 601 | |||
| 602 | @property | ||
| 599 | def IsMirror(self): | 603 | def IsMirror(self): |
| 600 | return self.manifestProject.config.GetBoolean('repo.mirror') | 604 | return self.manifestProject.config.GetBoolean('repo.mirror') |
| 601 | 605 | ||
