diff options
author | Andreas Sturmlechner <asturm@gentoo.org> | 2019-08-07 01:02:09 +0200 |
---|---|---|
committer | Andreas Sturmlechner <asturm@gentoo.org> | 2019-08-07 01:02:09 +0200 |
commit | 604c9a3848d1b9eb43ffa4fb28f9f208299ba994 (patch) | |
tree | fdcbcd4dc1381c5febe4beb3f2beb63fe529310f | |
parent | kde-frameworks: Add KDE_DESIGNERPLUGIN for ECMAddQtDesignerPlugin use (diff) | |
download | kde-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.80 | 6 |
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 |