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
pkg-descr
pkg-plist