diff options
| author |  Tom Willemsen | 2012-09-18 19:38:30 +0200 |
|---|---|---|
| committer | Tom Willemsen | 2012-09-18 19:38:30 +0200 |
| commit | b66ceb70f7873699261dbe8df76c638f9d8f99fe (patch) | |
| tree | 1c19d09f222e81e4455e9a496956df9967245944 /src | |
| parent | 963c85b479607464b2834655c196ec520fcca30d (diff) | |
| download | gitto-b66ceb70f7873699261dbe8df76c638f9d8f99fe.tar.gz gitto-b66ceb70f7873699261dbe8df76c638f9d8f99fe.zip | |
Don't fail with no-longer existing repos
When a repo is in the repositories list, but not where it should be,
don't care, if we know it, delete it.
Don't require the argument for delete to exist on the filesystem.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions