# HG changeset patch
# User robcast
# Date 1070022259 -3600
# Node ID 6a33c03c6181c31a8c3415ce2d0e4958e5528b12
# Parent  dbe3d4437d5286059e548527a87ebd238b96fbe0
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 dbe3d4437d52 -r 6a33c03c6181 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed