set version to 4.2

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index f4d2366ec60fa453ecb0c830bf619756735568e6..aa0825fc42b093d336ab8d51530db5863003f0be 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.122 2008/03/21 14:32:44 xzilla Exp $
+        * $Id: lib.inc.php,v 1.123 2008/04/06 01:10:35 xzilla Exp $
         */
 
        include_once('./libraries/decorator.inc.php');
@@ -16,7 +16,7 @@
        $appName = 'phpPgAdmin';
 
        // Application version
-       $appVersion = '4.2-Beta-2';
+       $appVersion = '4.2';
 
        // PostgreSQL and PHP minimum version
        $postgresqlMinVer = '7.0';