# HG changeset patch # User robcast # Date 1030569691 -7200 # Node ID c2ac0efbce8def62e788b647deff7f3e95b965fc # Parent 1efc2a994f48a454eeb7d3c01042224bf0e93bcd Neues DigilibServlet.jar. diff -r 1efc2a994f48 -r c2ac0efbce8d client/digitallibrary/WEB-INF/lib/DigilibServlet.jar Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed