Updates:
Status: Fixed
Comment #2 on issue 203 by JeanPhilippe.bernardy: ghc processes started
with the ghci command are not properly terminated.
http://code.google.com/p/yi-editor/issues/detail?id=203
(No comment was entered for this change.)
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
--~--~---------~--~----~------------~-------~--~----~
Yi development mailing list
[email protected]
http://groups.google.com/group/yi-devel
-~----------~----~----~----~------~----~------~--~---
