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