diff options
| author | Anthony <anthony@bnovc.com> | 2009-09-26 13:38:52 -0400 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2010-04-14 14:21:50 -0700 |
| commit | f3fdf823cf9785e4ceca3e8416b719282d84b6d0 (patch) | |
| tree | cfc10b9660e8e01c73166d9368dcca4bd4828c56 /git_config.py | |
| parent | a1bfd2cd7253b1662e08f5ec5be3d863430c756c (diff) | |
| download | git-repo-f3fdf823cf9785e4ceca3e8416b719282d84b6d0.tar.gz | |
sync: Safely skip already deleted projectsv1.6.9.3
Do not error if a project is missing on the filesystem, is deleted
from manifest.xml, but still exists in project.list.
Change-Id: I1d13e435473c83091e27e4df571504ef493282dd
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions