Tobias C. Berner 6eba9b32de Update KDE's Plasma 5 Desktop to 5.15.1 ... Announcement: https://www.kde.org/announcements/plasma-5.15.1.php		2019-02-20 19:19:28 +00:00
..
distinfo	Update KDE's Plasma 5 Desktop to 5.15.1	2019-02-20 19:19:28 +00:00
Makefile
pkg-descr
pkg-plist