{
  "type": "file",
  "name": "/home/lively4/lively4/lively4-augment/src/components/tools/lively-editor.js",
  "size": 28628,
  "version": "f9f1b61648d5354276ae2784a0c22177c37a18d8",
  "modified": "2020-03-06 18:15:14"
}