{
"WorkspaceSettings": {
"DefaultProject": "gismo",
"Projects": {
"gismo": "src/gismo/gismo.json",
"gismo-cli": "src/gismo_cli/gismo-cli.json",
"gismo-core": "src/gismo_core/gismo-core.json",
"gismo-db": "src/gismo_db/gismo_db.json",
"database": "src/database/database.json",
"modules-core": "src/modules_core/modules-core.json",
"boot-log": "src/modules/boot_log/boot-log.json",
"level-generator": "tools/level_generator/level-generator.json",
"ontime-calculator": "tools/ontime_calculator/ontime-calculator.json"
},
"Scripts": {}
}