Skip to content

Replace full-width prompt header with a variable-width-with-max prompt header#4014

Merged
lihaoyi merged 7 commits intocom-lihaoyi:mainfrom lihaoyi:prompt-max-lengthNov 24, 2024
+149-110

Commits