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
pkg-descr
pkg-plist	Update KDE Plasma Desktop to 5.15.3	2019-03-16 09:32:04 +00:00