# HG changeset patch
# User robcast
# Date 1299586553 -3600
# Node ID e5ad03270ddcc95ab82d41c5307640d8af605544
# Parent  60a0f44769de9d1f74e6663e8e3901bf0e5bd9ee
upped version nr.

diff -r 60a0f44769de -r e5ad03270ddc 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};