[codex] remove legacy frontends#302

rikohomeless wants to merge 1 commit into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

rikohomeless:issue-298rikohomeless/docker-git:issue-298Copy head branch name to clipboard