# HG changeset patch # User robcast # Date 1072196948 -3600 # Node ID d6a3b6aaa20317cb72fb721e09608982ce046f05 # Parent bb4ed821d06e77826a00b91279f1f0a87d3f83da Servlet version 1.18b6 - small fixes to the mapping code (really works now) diff -r bb4ed821d06e -r d6a3b6aaa203 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed