deleting someone's local deploy properties that seems to have gotten checked into the repository