chore: remove web-ui workspace

This commit is contained in:
Mario Zechner
2026-05-20 02:21:11 +02:00
parent 559a71683d
commit b141e1fa24
107 changed files with 83 additions and 18461 deletions

View File

@@ -16,12 +16,10 @@
"typebox": ["./node_modules/typebox"],
"@earendil-works/pi-tui": ["./packages/tui/src/index.ts"],
"@earendil-works/pi-tui/*": ["./packages/tui/src/*"],
"@earendil-works/pi-web-ui": ["./packages/web-ui/src/index.ts"],
"@earendil-works/pi-web-ui/*": ["./packages/web-ui/src/*"],
"@earendil-works/pi-agent-old": ["./packages/agent-old/src/index.ts"],
"@earendil-works/pi-agent-old/*": ["./packages/agent-old/src/*"]
}
},
"include": ["packages/*/src/**/*", "packages/*/test/**/*", "packages/coding-agent/examples/**/*"],
"exclude": ["packages/web-ui/**/*", "**/dist/**"]
"exclude": ["**/dist/**"]
}