# HG changeset patch # User robcast # Date 1012938485 -3600 # Node ID 39ee473b4711047d304271a8ed1efb6647a020e9 # Parent dd49040ae5a5fb0c64d87d5f03a0fa76de93a4a2 Error calling navigation_ie diff -r dd49040ae5a5 -r 39ee473b4711 client/digitallibrary/digilib.jsp --- a/client/digitallibrary/digilib.jsp Thu Jan 17 19:15:19 2002 +0100 +++ b/client/digitallibrary/digilib.jsp Tue Feb 05 20:48:05 2002 +0100 @@ -28,7 +28,7 @@ } else if (navigator.appName.toLowerCase() == "netscape") { top.document.write('