{
  "type": "file",
  "name": "src/components/widgets/lively-code-mirror.html",
  "size": 5429,
  "version": "3ac1a5b30c91515468f93d4abd858d9ea7586e56",
  "modified": "2020-06-10 15:41:34"
}