If by completely deleting you mean "removing a repo and not making it reappear after wstool update" I don't think so. We've been using a small script that first removes a repo from a workspace and then deletes the folder afterwards: rm_from_workspace.sh (It's pretty simple, there might be nicer solutions out there).