# HG changeset patch
# User Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
# Date 1353937540 -3600
# Node ID e89b22550a2dff685016ba9d0027592123a06924
# Parent  16965d9c29a39971866221ced1be3f5c5c7a9804
new compiled version

diff -r 16965d9c29a3 -r e89b22550a2d war/WEB-INF/lib/gwt-servlet.jar
Binary file war/WEB-INF/lib/gwt-servlet.jar has changed