Tobias C. Berner 4aaedd3666 Update KDE Plasma Desktop to 5.15.5 ... Changelog: https://kde.org/announcements/plasma-5.15.4-5.15.5-changelog.php		2019-05-08 20:50:22 +00:00
..
distinfo	Update KDE Plasma Desktop to 5.15.5	2019-05-08 20:50:22 +00:00
Makefile	Update KDE Plasma Desktop to 5.15.3	2019-03-16 09:32:04 +00:00
pkg-descr
pkg-plist	Update KDE Plasma to 5.15	2019-02-12 21:40:13 +00:00