diff options
| author | Florian Pritz <bluewind@xinu.at> | 2011-07-09 09:55:08 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2011-07-24 21:46:42 +0200 |
| commit | c26ba3ccee6700bc0be0031df959d96918f7800f (patch) | |
| tree | e886180d05edbcb55d227438d6286cc0f295312e /local_config.example | |
| parent | 4e2e92406a4a8b71e3bb9665fbf09b69e39a9f55 (diff) | |
db-remove: remove package if not in svn
We know what the user wants us to do (remove a package from the repo and
svn) so if it's not in svn it should still be removed from the db.
Having to use a seperate tool (db-repo-remove) is confusing.
Signed-off-by: Florian Pritz <bluewind@xinu.at>
Signed-off-by: Pierre Schmitz <pierre@archlinux.de>
Diffstat (limited to 'local_config.example')
0 files changed, 0 insertions, 0 deletions