sspitzer%netscape.com 54e1c3075b 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
..
navigator.dtd	fix for #18940. don't define the default home page in the dtd. this is already	1999-11-16 04:50:32 +00:00
viewSource.dtd	modify Localization notes	1999-11-12 01:00:30 +00:00