{
  "type": "file",
  "name": "src/components/widgets/lively-code-mirror-widget-import.js",
  "size": 5351,
  "version": "3cc00cf435af3d831ef7414c251059be6b1ae520",
  "modified": "2023-05-02 17:36:24"
}