{
  "type": "file",
  "name": "src/components/demo/lively-petrinet-code-editor.html",
  "size": 263,
  "version": "e94c8b01afc72279ec37befc975744b9f5bf0217",
  "modified": "2020-06-17 18:05:58"
}