diff common/src/main/java/digilib/util/HashTree.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
line wrap: on
line diff