From 6c68046443757b8e19b7f383f59f10a8fa8dbe44 Mon Sep 17 00:00:00 2001 From: "Karl O. Pinc" Date: Wed, 8 May 2013 10:28:58 -0500 Subject: [PATCH] Rename PPA version from 5.1 to 5.2-dev. --- libraries/lib.inc.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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'; -- 2.39.5