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

[cdsmith at twu.net]

Thu May 31 23:36:44 MDT 2007  cdsmith at twu.net
  * 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.
  
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 427664 bytes
Desc: A darcs patch for your repository!
Url : http://www.haskell.org/pipermail/cvs-ghc/attachments/20070601/84478479/attachment-0001.bin