diff servlet2/src/main/java/digilib/servlet/Initialiser.java @ 1035:e4eb1209fa78

remove unneccessary cast.
author robcast
date Sun, 11 Mar 2012 16:41:44 +0100
parents d5d99a9eb5dd
children
line wrap: on
line diff