Explain how to remove unneeded local feeds
commit3905b44846c55d2e540de4dad5e4ffaa15e12cfc
authorThomas Leonard <talex5@gmail.com>
Sun, 27 Mar 2011 16:07:51 +0000 (27 17:07 +0100)
committerThomas Leonard <talex5@gmail.com>
Sun, 27 Mar 2011 16:16:49 +0000 (27 17:16 +0100)
tree91af687ab563743c8488b0078668e871fc6ac01b
parentb571f56628fa49f58c8ebb9559397a490b94528a
Explain how to remove unneeded local feeds

New syntax for 'remove-feed' to allow this.
0install.1
zeroinstall/cmd/add_feed.py
zeroinstall/cmd/remove_feed.py
zeroinstall/injector/solver.py