diff options
| -rw-r--r-- | profiles/package.mask | 5 | ||||
| -rw-r--r-- | profiles/package.mask.d/kdevelop-4.2.81 | 4 |
2 files changed, 0 insertions, 9 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 5e1b5cb295f..3ee93f396c5 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -5,11 +5,6 @@ # Dead project, use kde-misc/akonadi-google instead kde-misc/akonadi-googledata -=dev-util/kdevelop-4.2.81 -=dev-util/kdevelop-php-1.2.81 -=dev-util/kdevelop-php-docs-1.2.81 -=dev-util/kdevplatform-1.2.81 - ~dev-util/kdevelop-4.2.82 ~dev-util/kdevelop-php-1.2.82 ~dev-util/kdevelop-php-docs-1.2.82 diff --git a/profiles/package.mask.d/kdevelop-4.2.81 b/profiles/package.mask.d/kdevelop-4.2.81 deleted file mode 100644 index f83214c1a0c..00000000000 --- a/profiles/package.mask.d/kdevelop-4.2.81 +++ /dev/null @@ -1,4 +0,0 @@ -=dev-util/kdevelop-4.2.81 -=dev-util/kdevelop-php-1.2.81 -=dev-util/kdevelop-php-docs-1.2.81 -=dev-util/kdevplatform-1.2.81 |