@theia/navigator

Version:

Theia - Navigator Extension

1 lines • 147 B

Source Map (JSON)

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