![]() |
![]() |
![]() |
The Admin menu has the following options:
Option | Description |
Users | ![]() |
Change Repository | Connects the workspace to another shared repository or to a local repository |
Compact Repository | Creates a new, smaller repository by copying versioned program elements while excluding open and purged program elements |
Properties | Displays information about the repository to which the workspace is currently connected |
Searching for a Program Element in the Repository
Compacting a Repository
Purging Program Elements from a Repository
Restoring Program Elements to the Repository