Removing symbolset from version control