Tobias C. Berner 9ad59fa37c Update KDE Plasma Desktop to 5.16.1 ... Announcement: https://kde.org/announcements/plasma-5.16.1.php		2019-06-19 22:19:11 +00:00
..
distinfo	Update KDE Plasma Desktop to 5.16.1	2019-06-19 22:19:11 +00:00
Makefile
pkg-descr
pkg-plist	Update KDE's Plasma Desktop to 5.16	2019-06-15 15:39:23 +00:00