[gentoo-dev] Last-rites: dev-util/kdevplatform

[Andreas Sturmlechner]

# Andreas Sturmlechner <ast...@gentoo.org> (05 Jan 2018)
# Masked for removal in 30 days, merged into dev-util/kdevelop
dev-util/kdevplatform