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