# HG changeset patch
# User robcast
# Date 1070022259 -3600
# Node ID 3c73a38f10359d6657b05b6daf88443863257441
# Parent  7b883e5c1f3980b555af239fde2e7f0d6bb580cb
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

diff -r 7b883e5c1f39 -r 3c73a38f1035 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed