front_end/workspace_diff/module.json

{
  "dependencies": [
      "workspace",
      "diff",
      "persistence"
  ],
  "scripts": [
      "WorkspaceDiff.js"
  ]
}