[project @ 2000-11-02 13:36:44 by simonmar]
Remove GhcWithRegisterised since it isn't used. It might be re-instated later if/when we decide on the right way to implement it.
Please register or sign in to comment
Remove GhcWithRegisterised since it isn't used. It might be re-instated later if/when we decide on the right way to implement it.