# HG changeset patch # User robcast # Date 1011282960 -3600 # Node ID 58e801426c0c7dcef08be82acf564ef56eba47b0 # Parent 37eae12d414829d3f8a7fd3f0a26e71432c970c4 Comitted first version of servlet JAR file diff -r 37eae12d4148 -r 58e801426c0c servlet/DigilibServlet.jar Binary file servlet/DigilibServlet.jar has changed