diff options
| author | Conley Owens <cco3@android.com> | 2012-08-13 13:11:18 -0700 |
|---|---|---|
| committer | gerrit code review <noreply-gerritcodereview@google.com> | 2012-09-05 11:46:48 -0700 |
| commit | bb1b5f5f863fca0e85764f5b35c117f5724d15c0 (patch) | |
| tree | 0b6b8d0d6d027f2d0e0dd6fabdd4eafc6c919026 /subcmds/manifest.py | |
| parent | e2126652a3a1e08724a54091793bb29a79d31014 (diff) | |
| download | git-repo-bb1b5f5f863fca0e85764f5b35c117f5724d15c0.tar.gz | |
Allow projects to be specified as notdefault
Instead of every group being in the group "default", every project
is now in the group "all". A group that should not be downloaded
by default may be added to the group "notdefault".
This allows all group names to be positive (instead of removing groups
directly in the manifest with -default) and offers a clear way of
selecting every project (--groups all).
Change-Id: I99cd70309adb1f8460db3bbc6eff46bdcd22256f
Diffstat (limited to 'subcmds/manifest.py')
0 files changed, 0 insertions, 0 deletions