Olcan 57ceadb7d8 switch to shell tool, deprecating terminal (#203) ... * switch to shell tool, deprecating terminal * Merge remote-tracking branch 'origin/main' into deprecate_terminal		2025-04-28 15:05:36 -07:00
..
cli	switch to shell tool, deprecating terminal (#203)	2025-04-28 15:05:36 -07:00
server	switch to shell tool, deprecating terminal (#203)	2025-04-28 15:05:36 -07:00