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