From 97debe6157a47f97f235264cf273c36002d0317e Mon Sep 17 00:00:00 2001
From: soranzo <soranzo>
Date: Mon, 22 Jan 2007 14:19:18 +0000
Subject: [PATCH] Brand HEAD as 4.2-dev

---
 libraries/lib.inc.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index 143966eb..602bea51 100644
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -3,7 +3,7 @@
 	/**
 	 * Function library read in upon startup
 	 *
-	 * $Id: lib.inc.php,v 1.111 2006/12/30 02:48:31 xzilla Exp $
+	 * $Id: lib.inc.php,v 1.112 2007/01/22 14:19:18 soranzo Exp $
 	 */
 	include_once('./libraries/decorator.inc.php');
 	include_once('./lang/translations.php');
@@ -15,7 +15,7 @@
 	$appName = 'phpPgAdmin';
 
 	// Application version
-	$appVersion = '4.1';
+	$appVersion = '4.2-dev';
 
 	// PostgreSQL and PHP minimum version
 	$postgresqlMinVer = '7.0';
-- 
2.39.5