# HG changeset patch
# User robcast
# Date 1068491878 -3600
# Node ID c1c996224b78f0a2030b602b5f106309b6640322
# Parent  a5300ee2a1fc5f2817d8ae11efab5062db138e4a
Servlet version 1.17b2
- new mapping file for "virtual directories"
- direct file URLs now work without extension (even with wrong ones)

diff -r a5300ee2a1fc -r c1c996224b78 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed