From b8dbca8ce2a07473f1d909234ea158b6246403f7 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Wed, 4 Jun 2003 15:30:51 +0000
Subject: [PATCH] updated version info to 1.2.5-pre1

---
 src/helma/main/Server.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/helma/main/Server.java b/src/helma/main/Server.java
index 7cc2622f..62465adc 100644
--- a/src/helma/main/Server.java
+++ b/src/helma/main/Server.java
@@ -36,7 +36,7 @@ import java.util.*;
  * Helma server main class.
  */
 public class Server implements IPathElement, Runnable {
-    public static final String version = "1.2.4 (2003/04/16)";
+    public static final String version = "1.2.5-pre1 (2003/06/04)";
 
     // server-wide properties
     static SystemProperties appsProps;