WorkspaceRegistry Module
Functions and values
| Function or value |
Description
|
Full Usage:
fromVersionedWorkspaces workspaces
Parameters:
(string * string * string) list
Returns: WorkspaceRegistry
|
Create a registry from multiple versioned workspace paths. Each entry is (key, version, path); registered under the id "key@version" so multiple versions of the same logical workspace coexist side by side.
|
|
Create a registry and register a default workspace from a path
|
Full Usage:
fromWorkspaces workspaces
Parameters:
(string * string) list
Returns: WorkspaceRegistry
|
Create a registry from multiple named workspace paths
|
Nao