{
  "type": "file",
  "name": "src/components/tools/domain-code-editor.html",
  "size": 428,
  "version": "5166acac463e9de37a8354e8de9ac3189ebe4ec2",
  "modified": "2023-11-21 11:20:10"
}