fix(web): restore native terminal context menu#325

skulidropek merged 1 commit into

mainProverCoderAI/docker-git:mainfrom

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