diff options
Diffstat (limited to 'devel/kdevelop/Makefile')
-rw-r--r-- | devel/kdevelop/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/kdevelop/Makefile b/devel/kdevelop/Makefile index a76ce07d3728..5041716b0934 100644 --- a/devel/kdevelop/Makefile +++ b/devel/kdevelop/Makefile @@ -6,7 +6,7 @@ # PORTNAME= kdevelop -PORTVERSION= 3.1.1 +PORTVERSION= 3.1.2 CATEGORIES?= devel kde MASTER_SITES= ${MASTER_SITE_KDE} MASTER_SITE_SUBDIR= stable/${KDE_VERSION:S/.0//}/src |