Fix filename completion by adding trailing spaces/slashes manually.
authorjudah.jacobson@gmail.com <unknown>
Thu, 10 Jan 2008 22:19:28 +0000 (22:19 +0000)
committerjudah.jacobson@gmail.com <unknown>
Thu, 10 Jan 2008 22:19:28 +0000 (22:19 +0000)
commitb70f35afc1c606dc85e6feb7da74be72411f58c1
treee112760bc80b8aae8a672a026880a2a7816e3b01
parentc2fd45f3496040a6bc7ce8110ffe9e14bad6564f
Fix filename completion by adding trailing spaces/slashes manually.
compiler/ghci/InteractiveUI.hs