fix(core): escape backslash in sed CRLF-stripping command in Dockerfile template#152

skulidropek merged 4 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-151-fdbc80a12746konard/ProverCoderAI-docker-git:issue-151-fdbc80a12746Copy head branch name to clipboard