diff options
author | Andreas Sturmlechner <asturm@gentoo.org> | 2017-11-19 23:46:20 +0100 |
---|---|---|
committer | Andreas Sturmlechner <asturm@gentoo.org> | 2017-11-19 23:46:20 +0100 |
commit | 72cec836fffb3d57a9c00caab9b091a19646d4f0 (patch) | |
tree | aa6b01990dbb8b7a352ac4aa02edf524d8c3645d | |
parent | dev-util/kdevelop*: Drop 5.1.80 (5.2 beta) (diff) | |
download | kde-72cec836fffb3d57a9c00caab9b091a19646d4f0.tar.gz kde-72cec836fffb3d57a9c00caab9b091a19646d4f0.tar.bz2 kde-72cec836fffb3d57a9c00caab9b091a19646d4f0.zip |
profiles: Drop obsolete kdevelop-5.1.80 package.mask
-rw-r--r-- | profiles/package.mask/kdevelop-5.1.80 | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/profiles/package.mask/kdevelop-5.1.80 b/profiles/package.mask/kdevelop-5.1.80 deleted file mode 100644 index 4b26fc7ff9..0000000000 --- a/profiles/package.mask/kdevelop-5.1.80 +++ /dev/null @@ -1,6 +0,0 @@ -# Johannes Huber <johu@gentoo.org> (03 Oct 2017) -# KDevelop 5.2 beta mask -# Unstable release. -~dev-util/kdevelop-5.1.80 -~dev-util/kdevelop-php-5.1.80 -~dev-util/kdevelop-python-5.1.80 |