diff servlet/src/digilib/io/FileOpException.java @ 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 0ff3ede32060
children b09009d7fcfc
line wrap: on
line diff