[SCM] KDevelop PHP plugin documentation packaging branch, master, updated. debian/1.3.1-2-6-g1987b61

[Pino Toscano]

Gitweb-URL: http://git.debian.org/?p=pkg-kde/kde-std/kdevelop-php-docs.git;a=commitdiff;h=1987b61

The following commit has been merged in the master branch:
commit 1987b618296ae9753f8737a41e15a1cbb03b2027
Author: Andreas Cord-Landwehr <cola at uni-paderborn.de>
Date:   Thu May 30 12:40:11 2013 +0200

    Bump kdevplatform-dev build dependency to 1.5.1.
---
 debian/control |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index 2d0388a..840fbb3 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Fathi Boudra <fabo at debian.org>,
            Andreas Cord-Landwehr <cola at uni-paderborn.de>
 Build-Depends: cmake (>= 2.8.0),
                debhelper (>= 9),
-               kdevplatform-dev (>= 1.5.0),
+               kdevplatform-dev (>= 1.5.1),
                libqtwebkit-dev,
                pkg-kde-tools (>= 0.6.4)
 Standards-Version: 3.9.4

-- 
KDevelop PHP plugin documentation packaging