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.
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.