Delete RepositoryManager.h~