# HG changeset patch # User luginbue # Date 1014254371 -3600 # Node ID 8dbd7b41d5910847592653fb7dee42938269bab0 # Parent b72385d8d859b0a8b63079bf5750e7444c008312 cleaning up a bit - more follows diff -r b72385d8d859 -r 8dbd7b41d591 client/digitallibrary/navigation.html --- a/client/digitallibrary/navigation.html Tue Feb 05 20:57:35 2002 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,105 +0,0 @@ - -
- - - - - - - -'); - pageFrame.document.write(att[1] + ' of ' + numPages + '
'); - pageFrame.document.close(); - } -}