-
cdsmith@twu.net authored
Add -short-ghci-banner and -long-ghci-banner. The default is long, which is the current behavior. The short banner prints a one-line introduction with only the version, web site, and ":? for help" message.
d0611669
Add -short-ghci-banner and -long-ghci-banner. The default is long, which is the current behavior. The short banner prints a one-line introduction with only the version, web site, and ":? for help" message.