@theia/navigator

Version:

Theia - Navigator Extension

1 lines • 205 B

Source Map (JSON)

{"version":3,"file":"navigator-backend-module.d.ts","sourceRoot":"","sources":["../../src/node/navigator-backend-module.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;;AAG/D,wBAEG"}