# HG changeset patch
# User robcast
# Date 1061200394 -7200
# Node ID 81937cc5c7434c1b3945cad2571c4a6821b54852
# Parent  f52a7664a80750a83f2a257420bcbc3afb9d2920
Servlet version 1.12b3

diff -r f52a7664a807 -r 81937cc5c743 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed