{"version":3,"file":"terminal-manager-frontend-module.d.ts","sourceRoot":"","sources":["../../src/browser/terminal-manager-frontend-module.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAc,MAAM,8BAA8B,CAAC;AAe3E,OAAO,wCAAwC,CAAC;;AAGhD,wBAiCG"}