aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Sturmlechner <asturm@gentoo.org>2019-08-07 01:02:09 +0200
committerAndreas Sturmlechner <asturm@gentoo.org>2019-08-07 01:02:09 +0200
commit604c9a3848d1b9eb43ffa4fb28f9f208299ba994 (patch)
treefdcbcd4dc1381c5febe4beb3f2beb63fe529310f
parentkde-frameworks: Add KDE_DESIGNERPLUGIN for ECMAddQtDesignerPlugin use (diff)
downloadkde-604c9a3848d1b9eb43ffa4fb28f9f208299ba994.tar.gz
kde-604c9a3848d1b9eb43ffa4fb28f9f208299ba994.tar.bz2
kde-604c9a3848d1b9eb43ffa4fb28f9f208299ba994.zip
profiles: Drop obsolete kdevelop-5.3.80 package.mask
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
-rw-r--r--profiles/package.mask/kdevelop-5.3.806
1 files changed, 0 insertions, 6 deletions
diff --git a/profiles/package.mask/kdevelop-5.3.80 b/profiles/package.mask/kdevelop-5.3.80
deleted file mode 100644
index 6cd92f1f97..0000000000
--- a/profiles/package.mask/kdevelop-5.3.80
+++ /dev/null
@@ -1,6 +0,0 @@
-# Andreas Sturmlechner <asturm@gentoo.org> (22 Jul 2019)
-# KDevelop 5.4 beta1 mask
-# Unstable release
-~dev-util/kdevelop-5.3.80
-~dev-util/kdevelop-php-5.3.80
-~dev-util/kdevelop-python-5.3.80