On Thu, Apr 24, 2003 at 01:54:25PM +0000, didier wrote:
> IMO make-reg-dotc feature : try to open in current directory first, is 
> not a very good idea.

Checked in.


Reply via email to