Rename PPA version from 5.1 to 5.2-dev.
authorKarl O. Pinc <kop@meme.com>
Wed, 8 May 2013 15:28:58 +0000 (10:28 -0500)
committerRobert Treat <robert@omniti.com>
Sat, 18 May 2013 22:48:22 +0000 (18:48 -0400)
commit6c68046443757b8e19b7f383f59f10a8fa8dbe44
tree67deaa70f950ad9bfa708efc575a6514e1ae73a4
parentb32bb29e5c96d0ff8280b61346fbb8ba70babf7c
Rename PPA version from 5.1 to 5.2-dev.
libraries/lib.inc.php