Skip to content
Snippets Groups Projects
Commit d0611669 authored by cdsmith@twu.net's avatar cdsmith@twu.net
Browse files

FIX #1378 Add option for a shorter banner on GHCi startup 

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.
parent 2506fbad
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment