diff servlet3/src/main/java/digilib/servlet/Scaler.java @ 1110:ffda96c2fde0

use RegExp for finding regions; use ID for highlighting
author hertzhaft
date Sun, 28 Oct 2012 15:10:41 +0100
parents 4e368c85cce4
children 2ee261676828
line wrap: on
line diff