# HG changeset patch
# User robcast
# Date 1299586553 -3600
# Node ID f75e9f541ec1f3395bbc7cb68ef207c69957907a
# Parent  da4938dac5216e2ff76b75bc096efcb4db3f51e0
upped version nr.

diff -r da4938dac521 -r f75e9f541ec1 servlet/src/digilib/servlet/Scaler.java
--- a/servlet/src/digilib/servlet/Scaler.java	Tue Mar 08 13:15:12 2011 +0100
+++ b/servlet/src/digilib/servlet/Scaler.java	Tue Mar 08 13:15:53 2011 +0100
@@ -31,7 +31,7 @@
     private static final long serialVersionUID = 5289386646192471549L;
 
     /** digilib servlet version (for all components) */
-    public static final String version = "1.9.1a19";
+    public static final String version = "1.9.1a20";
 
     /** servlet error codes */
     public static enum Error {UNKNOWN, AUTH, FILE, IMAGE};