Fix comment for ghci script files

Authored by nomeata on Mar 16 2014, 11:40 AM.

Description

Fix comment for ghci script files

(Unchecked comment-only commits should better use the right commenting
style...)

Details

Committed
nomeataMar 16 2014, 11:40 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF014223745186: Test case: :info Coercible in GHCi
Branches
Unknown
Tags
Unknown