# HG changeset patch
# User robcast
# Date 1061200394 -7200
# Node ID f70645db91a0ff8c4802fda0470fd00e3382707d
# Parent  4246f9b94112823bdeb1594142d32ffad56efdd1
Servlet version 1.12b3

diff -r 4246f9b94112 -r f70645db91a0 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed