From: Karl O. Pinc <kop@meme.com>
Date: Wed, 8 May 2013 15:28:58 +0000 (-0500)
Subject: Rename PPA version from 5.1 to 5.2-dev.
X-Git-Tag: REL_5-6-0~57
X-Git-Url: http://git.postgresql.org/gitweb/review?a=commitdiff_plain;h=6c68046443757b8e19b7f383f59f10a8fa8dbe44;p=phppgadmin.git

Rename PPA version from 5.1 to 5.2-dev.
---

diff --git a/libraries/lib.inc.php b/libraries/lib.inc.php
index b33ae787..f6964bcc 100644
--- a/libraries/lib.inc.php
+++ b/libraries/lib.inc.php
@@ -16,7 +16,7 @@
 	$appName = 'phpPgAdmin';
 
 	// Application version
-	$appVersion = '5.1';
+	$appVersion = '5.2-dev';
 
 	// PostgreSQL and PHP minimum version
 	$postgresqlMinVer = '7.4';