# HG changeset patch
# User robcast
# Date 1088503793 -7200
# Node ID e6183215c9d95bb8638fd884a14d93a2973363c5
# Parent  0dd38cb2961f4df807259b23ff0699f2ebcc8f0c
version 1.18b12
- small fix in DocuDirectory.get

diff -r 0dd38cb2961f -r e6183215c9d9 client/digitallibrary/WEB-INF/lib/DigilibServlet.jar
Binary file client/digitallibrary/WEB-INF/lib/DigilibServlet.jar has changed