sspitzer%netscape.com e6da063538 fix for #18940. don't define the default home page in the dtd. this is already ...

set in all.js.

the bug was caused by code in navigator.js that got this attribute from the
home button, and tried to set the pref!

r=mozilla@bucksch.org (benb)

1999-11-16 04:50:32 +00:00

..

chrome

fix for #18940. don't define the default home page in the dtd. this is already

1999-11-16 04:50:32 +00:00

profile

Initial revision. Not in build.

1999-10-08 21:15:21 +00:00