Tobias C. Berner f81b221b50 Update KDE Plasma Desktop to 5.17.1 ... Announcement: https://kde.org/announcements/plasma-5.17.1.php		2019-10-25 05:57:27 +00:00
..
distinfo	Update KDE Plasma Desktop to 5.17.1	2019-10-25 05:57:27 +00:00
Makefile
pkg-descr
pkg-plist	Update KDE's Plasma Desktop to 5.17	2019-10-16 09:54:56 +00:00