diff options
author | 2013-01-09 16:13:41 +0000 | |
---|---|---|
committer | 2013-01-09 16:13:41 +0000 | |
commit | 680e6839ee42c754a58f8e57bf15a8063a16c6bb (patch) | |
tree | ee299cb49800e23da48e532ce3c61b170d8468bb /debian | |
parent | 728b7fe7db3502c8b9c8ccd80d988d2dfafa999c (diff) |
Added a comment: it also doesn't recognize when a local repository has been deleted manually
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions