Backport "Remove pipes from multi-line REPL prompts" to 3.8.0#24399

Merged

WojciechMazur merged 1 commit intorelease-3.8.0from

release-3.8.0_backport-24307

Nov 12, 2025

Commits on Nov 12, 2025

Remove pipes from multi-line REPL prompts (#24307)

lihaoyi
authored and
WojciechMazur
committed