{
  "type": "file",
  "name": "src/components/demo/lively-petrinet-editor.html",
  "size": 332,
  "version": "b444148bf77d876682b3de34976ac78d2057cb75",
  "modified": "2020-07-30 17:17:38"
}