diff servlet3/src/main/java/digilib/servlet/ServletOps.java @ 1048:4aa90cccb3e4

make plugins independent from buttons plugin
author hertzhaft
date Mon, 26 Mar 2012 00:56:05 +0200
parents 7779b37d1d05
children
line wrap: on
line diff