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