Bernd Schoolmann 53989ebaa3 Rename gui dirs and remove non-required dependencies		2024-02-09 15:47:20 +01:00
..
gui	Rename gui dirs and remove non-required dependencies	2024-02-09 15:47:20 +01:00
linux	Rename gui dirs and remove non-required dependencies	2024-02-09 15:47:20 +01:00
services	Rename gui dirs and remove non-required dependencies	2024-02-09 15:47:20 +01:00