{
  "jupyter.lab.shortcuts": [],
  "title": "jupyterlab-data-pool",
  "description": "jupyterlab-data-pool settings.",
  "type": "object",
  "properties": {},
  "additionalProperties": false
}