[project @ 2003-06-02 16:24:07 by sof]
authorsof <unknown>
Mon, 2 Jun 2003 16:24:07 +0000 (16:24 +0000)
committersof <unknown>
Mon, 2 Jun 2003 16:24:07 +0000 (16:24 +0000)
commit475ef37cd19bc8234205ca02d1251d47e267bd1f
tree1e5c5fbaea3be83fc4c960e9ec854c102fc1e4ea
parent6d7921bb43458ebb30b9c6d94ad05a9e089b8997
[project @ 2003-06-02 16:24:07 by sof]
Surround copied argv entries in double quotes to avoid quoting issues
(but don't quote me on that.)

Merge to STABLE.
ghc/driver/ghci/ghci.c