@wooorm/starry-night
Version:
Syntax highlighting, like GitHub
1 lines • 189 B
Source Map (JSON)
{"version":3,"file":"source.isabelle.root.d.ts","sourceRoot":"","sources":["source.isabelle.root.js"],"names":[],"mappings":";AAKA;;GAEG;AAEH,sBAAsB;AACtB,uBADW,OAAO,CAwCjB;6BA3CyB,sBAAsB"}