To permanently delete a repository and all of its data:
  1. In the Servers tab tree, select the repository you want to delete.
  2. Click the Delete icon.
     
  • No labels