@theia/workspace

Version:

Theia - Workspace Extension

1 lines • 160 B

Source Map (JSON)

{"version":3,"file":"default-workspace-server.spec.d.ts","sourceRoot":"","sources":["../../src/node/default-workspace-server.spec.ts"],"names":[],"mappings":""}