user-guide: fix examples of ghci commands
[ghc.git] / iserv / proxy-src /
drwxr-xr-x   ..
-rw-r--r-- 8020 Remote.hs