workspace-for-dev.theia-workspace

{
   "folders": [
      {
         "path": "file:///projects"
      }
   ],
   "settings": {
    "git.scanRepositories": [
        "theia/che-theia"
    ],
    "launch": {},
    "workspace.supportMultiRootWorkspace": false,
    "git.alwaysSignOff": true,
    "git.ignoredRepositories": [
      "/projects/theia"
   ],
   "java.configuration.updateBuildConfiguration": "automatic"
   }
}