diff options
| -rw-r--r-- | profiles/package.mask/kdevelop-5.5.80 | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/profiles/package.mask/kdevelop-5.5.80 b/profiles/package.mask/kdevelop-5.5.80 deleted file mode 100644 index e8123e034ad..00000000000 --- a/profiles/package.mask/kdevelop-5.5.80 +++ /dev/null @@ -1,6 +0,0 @@ -# Andreas Sturmlechner <asturm@gentoo.org> (18 Aug 2020) -# KDevelop 5.6 beta1 mask -# Unstable release -~dev-util/kdevelop-5.5.80 -~dev-util/kdevelop-php-5.5.80 -~dev-util/kdevelop-python-5.5.80 |