@theia/workspace

Version:

Theia - Workspace Extension

1 lines • 177 B

Source Map (JSON)

{"version":3,"file":"workspace-search-filter-service.spec.d.ts","sourceRoot":"","sources":["../../src/browser/workspace-search-filter-service.spec.ts"],"names":[],"mappings":""}