Fixed issue #1675: delete/ignore does not delete folder from repo when local copy...