# HG changeset patch
# User robcast
# Date 1057097826 -7200
# Node ID adb2e0c38f2793e772f232f99e63aaaeba031ff5
# Parent  1eed76913d9137700f9488505cc702321f6e5d27
Servlet Version 1.11a1 with original size.

diff -r 1eed76913d91 -r adb2e0c38f27 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed