From 930b212c2362662bfc9585db15a67edef412fc20 Mon Sep 17 00:00:00 2001
From: "Thies C. Arntzen" <thies@php.net>
Date: Fri, 30 Jun 2000 12:31:24 +0000
Subject: [PATCH] hmm, this file is not really auto-generated.

---
 main/php_version.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main/php_version.h b/main/php_version.h
index d16bf9f755b..b31f9150e70 100644
--- a/main/php_version.h
+++ b/main/php_version.h
@@ -1,3 +1,3 @@
 /* automatically generated by configure */
 /* edit configure.in to change version number */
-#define PHP_VERSION "4.0.1"
+#define PHP_VERSION "4.0.2-dev"