{
  "type": "file",
  "name": "/home/lively4/lively4/rp19-jsx/src/components/tools/lively-editor.html",
  "size": 2854,
  "version": "bee6c2f9fb213762ee9a9d83a70abe868c0e6ee8",
  "modified": "2019-10-30 13:16:14"
}