# HG changeset patch # User robcast # Date 1057097826 -7200 # Node ID d111b3d572384603ea366a4df49e24b530783ba5 # Parent 737f5cd647e1d2cbf4de23dc54233d135bc56eae Servlet Version 1.11a1 with original size. diff -r 737f5cd647e1 -r d111b3d57238 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed