diff servlet2/src/main/java/digilib/servlet/DigilibServletRequest.java @ 1125:f1be20adc98b

annotatorPlugins is now a list of plugin names (preserving order).
author robcast
date Fri, 09 Nov 2012 15:07:12 +0100
parents 7779b37d1d05
children 7a4f27ee087f
line wrap: on
line diff