1. 2012-09-26 Re: Move kde-workspace/plasma/generic/tools into plas kde-panel Sebastian =?ISO-88 2. 2012-09-26 Re: Move kde-workspace/plasma/generic/tools into plas kde-panel Aaron J. Seigo 3. 2012-09-26 Move kde-workspace/plasma/generic/tools into plasmate kde-panel Giorgos Tsiapaliok