1. 2013-11-25 Re: KDE_PLATFORM_PROFILE in kde-workspace kde-panel Sebastian =?ISO-88 2. 2013-11-25 Re: Re: KDE_PLATFORM_PROFILE in kde-workspace kde-panel Martin =?ISO-8859- 3. 2013-11-24 Re: KDE_PLATFORM_PROFILE in kde-workspace kde-panel David Faure 4. 2013-11-24 Re: KDE_PLATFORM_PROFILE in kde-workspace kde-panel Martin Graesslin 5. 2013-11-24 KDE_PLATFORM_PROFILE in kde-workspace kde-panel David Faure