Brand HEAD as 4.2-dev

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index 143966ebefb3720c78f93963fb9be8f3e545e0e0..602bea51bf3144aa4134a7774f978d1c40d90883 100644 (file)
--- 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';