diff client/digitallibrary/buttons/menu.js @ 255:95da3e44fdb9

servlet version 1.19b5 - filename and dpi in request - filename and dpi in dlInfo-*
author robcast
date Wed, 25 Aug 2004 01:07:39 +0200
parents 4f1752d80560
children
line wrap: on
line diff