deleting files from the repository.

The reason they would not delete from your repository is because they
had pulled down to my computer. So they were still on file there.