{"version":3,"file":"theia-integration-frontend-module.d.ts","sourceRoot":"","sources":["../../src/browser/theia-integration-frontend-module.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;;AAe/D,wBAmCG"}