Skip to content

Make banner size depend on terminal size#51811

Merged
tecosaur merged 1 commit intoJuliaLang:masterfrom
tecosaur:banner-to-repl
Oct 25, 2025
Merged

Make banner size depend on terminal size#51811
tecosaur merged 1 commit intoJuliaLang:masterfrom
tecosaur:banner-to-repl

Commits

Commits on Oct 19, 2025