1. 2018-09-09 D15182: ensure "make install" on windows also installs dev kde-edu-dev Martin Koller 2. 2018-09-09 D15182: ensure "make install" on windows also installs dev kde-edu Martin Koller 3. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu Martin Koller 4. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu-dev Martin Koller 5. 2018-08-31 Re: D15182: ensure "make install" on windows also installs kde-edu-dev Martin Koller 6. 2018-08-31 Re: D15182: ensure "make install" on windows also installs kde-edu Martin Koller 7. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu-dev Torsten Rahn 8. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu Torsten Rahn 9. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu Torsten Rahn 10. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu-dev Torsten Rahn 11. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu-dev Martin Koller 12. 2018-08-31 D15182: ensure "make install" on windows also installs dev kde-edu Martin Koller