# HG changeset patch # User robcast # Date 1367180717 -7200 # Node ID 8436ae2fe1d82047ab0cf24176f55f6391c8e928 # Parent ddab72e483e7f9ae7372de1d44e7a68e04e38e9d fixed silly bug in web.xml for servlet2. diff -r ddab72e483e7 -r 8436ae2fe1d8 webapp/src/main/webapp/WEB-INF/web-2.3.xml --- a/webapp/src/main/webapp/WEB-INF/web-2.3.xml Wed Apr 17 12:56:42 2013 +0200 +++ b/webapp/src/main/webapp/WEB-INF/web-2.3.xml Sun Apr 28 22:25:17 2013 +0200 @@ -12,7 +12,7 @@ - digilib.conf.DigilibServletConfig + digilib.conf.DigilibServletConfiguration