Tobias C. Berner 81ffd587f7 Update KDE Plasma Desktop to 5.15.3 ... Announcement: https://kde.org/announcements/plasma-5.15.3.php		2019-03-16 09:32:04 +00:00
..
distinfo	Update KDE Plasma Desktop to 5.15.3	2019-03-16 09:32:04 +00:00
Makefile	Update KDE Plasma to 5.15	2019-02-12 21:40:13 +00:00
pkg-descr
pkg-plist	Update KDE Plasma to 5.15	2019-02-12 21:40:13 +00:00