changeset 192:6a33c03c6181

Servlet version 1.18b3 new Raster servlet - new Raster servlet for rastering SVG graphics into PNG - new SVGFile class and accompanying changes - fixes in DocuDirectory for better handling of other file classes
author robcast
date Fri, 28 Nov 2003 13:24:19 +0100
parents dbe3d4437d52
children 5d483d9c149a
files client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
diffstat 1 files changed, 0 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed