diff options
| author | Shawn O. Pearce <sop@google.com> | 2009-04-18 11:25:58 -0700 |
|---|---|---|
| committer | Shawn O. Pearce <sop@google.com> | 2009-04-18 11:25:58 -0700 |
| commit | a490f03dc23792a86bbe5b2b8c89b32f39774c80 (patch) | |
| tree | 60f1c904b47259643b40f0d7267a2136b3519c7a | |
| parent | deec0536d657be178e8eed2d597afb9fdc716e99 (diff) | |
| download | git-repo-a490f03dc23792a86bbe5b2b8c89b32f39774c80.tar.gz | |
Correct note about local_manifest.xml capabilities
With the <remove-project> element we can remove projects, and
fully replace them with a different definition. So this note
is out of date.
Signed-off-by: Shawn O. Pearce <sop@google.com>
| -rw-r--r-- | docs/manifest-format.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index 89257b8b..d8db21de 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt | |||
| @@ -191,8 +191,3 @@ For example: | |||
| 191 | Users may add projects to the local manifest prior to a `repo sync` | 191 | Users may add projects to the local manifest prior to a `repo sync` |
| 192 | invocation, instructing repo to automatically download and manage | 192 | invocation, instructing repo to automatically download and manage |
| 193 | these extra projects. | 193 | these extra projects. |
| 194 | |||
| 195 | Currently the only supported feature of a local manifest is to | ||
| 196 | add new remotes and/or projects. In the future a local manifest | ||
| 197 | may support picking different revisions of a project, or deleting | ||
| 198 | projects specified in the default manifest. | ||