# HG changeset patch # User robcast # Date 1068495507 -3600 # Node ID 3258490649b5d17e9dc3168e901ea17afe43450e # Parent 830b0111a0c9b658aba607e5441d0a52c6a84e2c Servlet version 1.17b2 - new mapping file for "virtual directories" - direct file URLs now work without extension (even with wrong ones) diff -r 830b0111a0c9 -r 3258490649b5 servlet/doc/Scaler.html --- a/servlet/doc/Scaler.html Mon Nov 10 21:06:02 2003 +0100 +++ b/servlet/doc/Scaler.html Mon Nov 10 21:18:27 2003 +0100 @@ -6,7 +6,7 @@
A Servlet for scaling images. (Version 1.9b)
+A Servlet for scaling images. (Version 1.16b2)