summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAvatar Heiko Becker <heirecka@exherbo.org> 2017-09-03 12:09:12 +0200
committerAvatar Heiko Becker <heirecka@exherbo.org> 2017-09-03 12:32:49 +0200
commit39c18bb9304f56908c95090d8ff5d94c08bc9349 (patch)
treee6ad2348869c033b87afe3318f29fe4c70c804f4
parent8211a01d6ee4c95215a68e0aee8d265f1ea6c3b1 (diff)
downloadgraveyard-39c18bb9304f56908c95090d8ff5d94c08bc9349.tar.gz
graveyard-39c18bb9304f56908c95090d8ff5d94c08bc9349.tar.xz
kde: Bury kdevelop-php{,docs}
-rw-r--r--kde.graveyard16
1 files changed, 16 insertions, 0 deletions
diff --git a/kde.graveyard b/kde.graveyard
index 720fdc8..096fe31 100644
--- a/kde.graveyard
+++ b/kde.graveyard
@@ -275,6 +275,22 @@ kde/
homepage = http://www.kde.org/
removed-by = Niels Ole Salscheider <olesalscheider@exherbo.org>
removed-from = kde
+ kdevelop-php/
+ :0 1.7.0
+ comment = Renamed to kde/kdev-php
+ commit-id = 0db684fe5
+ description = PHP plugin for KDevelop
+ homepage = https://www.kde.org/
+ removed-by = Heiko Becker <heirecka@exherbo.org>
+ removed-from = kde
+ kdevelop-php-docs/
+ :0 1.7.0
+ comment = Merged into kde/kdev-php
+ commit-id = f28261bdb
+ description = PHP documentation plugin for KDevelop
+ homepage = https://www.kde.org/
+ removed-by = Heiko Becker <heirecka@exherbo.org>
+ removed-from = kde
kde-workspace/
:4 4.11.21-r2
comment = Replaced by plasma-workspace and friends