julia
Revert "Make banner size depend on terminal size"
#59984
Merged
Overview
Commits
1
Changes
View On GitHub

Revert "Make banner size depend on terminal size" #59984

DilumAluthge merged 1 commit into master from revert-51811-banner-to-repl
giordano
giordano giordano added REPL
giordano giordano added revert
DilumAluthge
DilumAluthge approved these changes on 2025-10-29
DilumAluthge DilumAluthge added merge me
giordano
giordano
DilumAluthge
giordano Revert "Make banner size depend on terminal size (#51811)"
7638a589
DilumAluthge DilumAluthge force pushed from c89e5ee2 to 7638a589 56 days ago
DilumAluthge
DilumAluthge DilumAluthge merged 91695525 into master 56 days ago
DilumAluthge DilumAluthge deleted the revert-51811-banner-to-repl branch 56 days ago
DilumAluthge DilumAluthge removed merge me

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
REPL revert
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum