{
  "type": "file",
  "name": "/home/lively4/lively4/lively4-swd24/src/components/widgets/lively-code-mirror-hint.js",
  "size": 23836,
  "version": "2083ff993c9a9f0045c6b346ab2b9b4461290468",
  "modified": "2024-07-19 00:58:56"
}