tree 3de33686218f59849912004a4376402082384fff
parent 2896a79120fe1de65472736f756c47b558b44db1
author Shawn O. Pearce <sop@google.com> 1227210142 -0800
committer Shawn O. Pearce <sop@google.com> 1227210886 -0800

Support <remove-project name="X"> in manifest to remove/replace X

The manifest files now permit removing a project so the user can
either keep it out of their client, or replace it with a different
project using an entirely different configuration.

Signed-off-by: Shawn O. Pearce <sop@google.com>