feat(terminal): add shared terminal package#362

skulidropek wants to merge 1 commit into

mainProverCoderAI/docker-git:mainfrom

issue-361ProverCoderAI/docker-git:issue-361Copy head branch name to clipboard