{"version":3,"file":"prettify.d.ts","sourceRoot":"","sources":["prettify.js"],"names":[],"mappings":""}