Tobias C. Berner ca9a79ffa9 KDE Plasma Desktop: update to 5.17.2		2019-10-30 11:38:19 +00:00
..
files
distinfo	KDE Plasma Desktop: update to 5.17.2	2019-10-30 11:38:19 +00:00
Makefile	KDE Plasma Desktop: update to 5.16.4	2019-07-31 17:07:14 +00:00
pkg-descr
pkg-plist	Update KDE's Plasma Desktop to 5.17	2019-10-16 09:54:56 +00:00